TY  - BOOK
AU  - Pagan, Frank G.
TI  - FORMAL SPECIFICATION OF PROGRAMMING LANGUAGES
U1  - 001.6424 
PY  - 1981///
CY  - Englewood Cliffs
PB  - Prentice-Hall
KW  - Programming Languages (Electronic Computers) -- Syntax
KW  - Programming Languages (Electronic Computers) -- Semantics
N1  - Bibliography : P. 235-239
ER  -