==== References ====

[[http://bitsavers.trailing-edge.com/pdf/xerox/interlisp/|Bitsavers Xerox Interlisp Library]]