A Study of Semi-Automated Program Construction (1998)

by H. Dayani-fard, J.I. Glasgow, D. A. Lamb