Results in Knowledge-Based Program Synthesis. - C. Cordell Green; Richard P. Gabriel; Elaine Kant; Beverly I. Kedzierski; Brian P. McCune; Jorge V. Phillips; Steve Tappel; Stephen J. Westfold (IJCAI, 1979)

Some Algorithm Design Methods. - Steve Tappel (AAAI, 1980)