TY - BOOK AU - Pagan,Frank G. TI - Formal specification of programming languages: a panoramic primer U1 - 001.64 PY - 1981/// CY - Englewood Cliffs, N.J. PB - Prentice-Hall KW - Programming languages (Electronic computers) KW - Syntax KW - Semantics N1 - Includes index ER -