Manna, Z.; Waldinger, R. IEEE Trans Softw Eng, 18, 8, 1992, pàg. 674–704. DOI: 10.1109/32.153379.
Flener, P. «Achievements and Prospects of Program Synthesis». A: Kakas. Computational Logic: Logic Programming and Beyond; Essays in Honour of Robert A. Kowalski (en anglès). LNAI 2407, 2002, p. 310–346 (Lecture Notes in Computer Science). DOI10.1007/3-540-45628-7_13. ISBN 978-3-540-43959-2.