"User-Defined Data Types as an Aid to Verifying LISP Programs."

Robert Cartwright (1976)
a service of Schloss Dagstuhl - Leibniz Center for Informatics