Ted J. Biggerstaff. Factored Specifications In The Synthesis Of LISP Functions. In Richard H. Austing, Dennis M. Conti, Gerald L. Engel, editors, Proceedings 1978 ACM Annual Conference, Washington, DC, USA, December 4-6, 1978, Volume I. pages 393-402, ACM, 1978. [doi]
Abstract is missing.