Michael J. C. Gordon: Evaluation and denotation of pure LISP programs : a worked example in semantics. University of Edinburgh, UK 1974