1. Back, R.-J.: Correctness preserving program refinements: Proof theory and applications. Tract 131, Mathematisch Centrum, Amsterdam (1980)
2. Back, R.J.R.: A calculus of refinements for program derivations. Acta Informatica 25, 593–624 (1988)
3. Basin, D., Deville, Y., Flener, P., Hamfelt, A., Nilsson, J.F.: Synthesis of programs in computational logic. In: Ten years of LOPSTR 2004 (2004)
4. Clark, K.: The synthesis and verification of logic programs. Research report, Imperial College (1978)
5. Colvin, R., Hayes, I., Hemer, D., Strooper, P.: Translating refined logic programs to Mercury. In: Oudshoorn, M. (ed.) Proceedings of the Twenty-Fifth Australasian Computer Science Conference, January 2002. Conferences in Research and Practice in Information Technology, vol. 4, pp. 33–40. Australian Computer Society (2002)