1. P. Bancroft and I. J. Hayes. Refining a module with opaque types. In Gopal Gupta, George Mohay, and Rodney Topor, editors, Proceedings, 16th Australian Computer Science Conference, Bris b ane, Australian Computer Science Communications, volume 15(1), pages 615–624, February 1993.
2. R. Colvin, I. J. Hayes, and P. Strooper. Data refining logic programs. In J. Grundy, M. Schwenke, and T. Vickers, editors, International Refinement Workshop and Formal Methods Pacific 1998, Discrete Mathematics and Theoretical Computer Science, pages 100–116. Springer, 1998.
3. R. Colvin, I. J. Hayes, and P. Strooper. Refining logic programs using types. In J. Edwards, editor, Australasian Computer Science Conference (ACSC 2000), pages 43–50. IEEE Computer Society, 2000. For an extended version see SVRCTR-99-25.
4. Y. Deville and K.-K. Lau. Logic program synthesis. Journal of Logic Programming, 19,20:321–350, 1994. Special Issue: Ten Years of Logic Programming.
5. Yves Deville. Logic Programming: Systematic Program Development. International series in logic programming. Addison-Wesley, 1990.