books/bookvol13, bookvolbib add Mason86 for proving Axiom

\bibitem[Mason 86]{Mason86} Mason, Ian A.\\
``The Semantics of Destructive Lisp''\\
Center for the Study of Language and Information ISBN 0-937073-06-7