An ancient paper (July 1978: 30 years ago) from the long gone Lisp Bulletin by Harald Wertz.
The system describes attempts to improve incompletely specified Lisp programs, without however resorting to more information, in the form of specifications, test cases or the like.
Found here.