The Semantics of Destructive Lisp by Ian Mason