Ted James Biggerstaff
-
Factored Specifications In The Synthesis Of LISP Functions
ACM '78 Proceedings of the 1978 annual conference