@InProceedings{Muller:MLISP-1991, author = {Robert Muller}, title = {{M-LISP}: Its Natural Semantics and Equational Logic}, month = {June}, year = {1991}, booktitle = {Proceedings of the First Symposium on Partial Evaluation and Semantics Based Program Manipulation}, publisher = {ACM}, pages = {234--242}, }