TY  - BOOK
AU  - Pagan,Frank G.
TI  - Formal specification of programming languages: a panoramic primer 
AV  - QA76.7 P332F
PY  - 1981///
CY  - Englewood Cliffs, N.J.
PB  - Prentice-Hall
KW  - PROGRAMMING LANGUAGES
KW  - SYNTAX
KW  - SEMANTICS
N1  - Includes bibliographical references and index
ER  -