1. Backhouse, R. 1989. Do-it-Yourself Type Theory. Formal Aspects of Computing 1: 19–84.
2. Bibel, W. 1980. Syntax-Directed, Semantics-Supported Program Synthesis. Artificial Intelligence 14: 243–261.
3. Bibel, W. und Hörnig, K. 1984. LOPS — A System Based on a Strategical Approach to Program Synthesis. In Automatic Program Construction Techniques, eds. A. Biermann, G. Guiho und Y. Kodratoff, 69–90. New York: Macmillan Publishing Company.
4. Bird, R. 1989. Lectures on Constructive Functional Programming. In Constructive Methods in Computing Science, ed. M. Broy, 151–218. Berlin: Springer-Verlag.
5. Biundo 1988] Biundo, S. 1988. Automated Synthesis of Recursive Algorithms as a Theorem Proving Tool. In Proceedings of the 8-th European Conference on Artificial Intelligence.