1. R. S. Boyer, J S. Moore: A Computational Logic; Academic Press, 1979.
2. R. S. Boyer, Y. Yu: Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor; in: CADE 11 Proc, Springer, 1992, 416–430.
3. R. L. Constable, T.B. Knoblock, J.L. Bates: Writing Programs that construct Proofs; Journal of Automated Reasoning, vol. 1, no. 3, 1985, 285–326.
4. M. Franova, A. Galton: Failure Analysis in Constructive Matching Methodology: A Step Towards Autonomous Program Synthesizing Systems; in: R. Trappl, (ed): Cybernetics and System Research '92; 1553–1560.
5. M. Franova, Y. Kodratoff, M. Gross: Constructive matching methodology: an extension and an application to a planning problem; forthcoming, 1993.