Title: PLISP users' manual
First published: 1984