References
Bitsavers Xerox Interlisp Library