TY  - BOOK
AU  - Pagan,Frank G.
TI  - Formal specification of programming languages: a panoramic primer 
SN  - 0133290522
AV  - QA 76.7 .P33 1981
U1  - 001.64/24 19
PY  - 1981///
CY  - Englewood Cliffs, N.J.
PB  - Prentice-Hall
KW  - Programming languages (Electronic computers)
KW  - Syntax
KW  - Semantics
N1  - Includes index; Bibliography: p. 235-239
ER  -