https://interlisp.org/history/bibliography/