TY - DATA AU - Michael Main, Austin Melton, Michael Mislove, David Schmidt TI - Mathematical Foundations of Programming Language Semantics SN - 9783540389200 PY - 1988/// PB - Springer Berlin Heidelberg KW - Computer Science UR - https://doi.org/10.1007/3-540-19020-1 ER -