F. E. J. Kruseman Aretz On Deriving a LISP Program From Its Specification. 19-32 1988 10 Sci. Comput. Program. 1 db/journals/scp/scp10.html#Aretz88