TY  - BOOK
AU  - Reynolds,John C.
TI  - Theories of programming languages
SN  - 0521594146 (σκληρό εξώφυλλο)
U1  - 005.13 23
PY  - 1998///
CY  - Cambridge, New York
PB  - Cambridge University Press
KW  - Ηλεκτρονικοί υπολογιστές
KW  - Γλώσσες προγραμματισμού
N1  - Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
ER  -