TY  - BOOK
AU  - Pagan,Frank G
TI  - Formal specification of programming languages: a panoramic primer 
SN  - 0133290522
PY  - 1981///
CY  - Englewood Cliffs, N.J.
PB  - Prentice-Hall
KW  - Programming languages
KW  - Syntax
KW  - Programming lanugages
KW  - Semantics
N1  - Includes index; Bibliography: p.235-239
ER  -