The Semantics of Destructive Lisp (sul-derivatives.stanford.edu)