TY  - DATA
AU  - Michael G. Main, Austin C. Melton, Michael W. Mislove, David A. Schmidt
TI  - Mathematical Foundations of Programming Semantics
SN  - 9780387348087
PY  - 1990///
PB  - Springer New York
KW  - Computer Science
UR  - https://doi.org/10.1007/BFb0040251
ER  -