Muller, Robert "M-LISP: Its Natural Semantics and Equational Logic",

[PEPM 1991] (1991) SIGPLAN Notices 26(09) September 1991 (PEPM '91).  

Languages mentioned M-LISP {1991}