Wolfram-Manfred Lippe, Friedemann H. Simon: Semantics for LISP without Reference to an Interpreter. Symposium on Programming 1980: 240-255