On deriving a LISP program from its specification
The design considerations for a LISP program computing the solutions to a well-known AI-problem are presented. The resulting program and its output are listed in full.
scientific article; zbMATH DE number 4028862