TY  - BOOK
AU  - Melton, Austin.
TI  - Mathematical foundations of programming semantics: international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings 
SN  - 0387168168 (U.S. : pbk.)
AV  - QA76.7 .M38 1986
U1  - 005.131 19
PY  - 1986///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Programming languages (Electronic computers)
KW  - Semantics
KW  - Congresses
KW  - Computer programming
N1  - Includes bibliographies
ER  -