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

[SIGPLAN] SIGPLAN Notices  

Ariola, Z. et al, (1991) Ariola, Z. et al, "A Syntactic Approach to Program Transformations", Muller, Robert (1991) Muller, Robert "M-LISP: Its Natural Semantics and Equational Logic",