1. U. Berger and H. Schwichtenberg, Program development by Proof Transformation, pp. 1–45 in Proceedings of the NATO Advanced Study Institute on Proof and Computation, Marktoberdorf, Germany, 1993.
2. M. V. Cengarle, Formal Specifications with higher-order parametrization. PhD thesis, Ludwig-Maximilians-Universität, Munich, 1995.
3. CoFILanguage Design Task Group on Language Design, CASL, The Common Algebraic Specification Language, Summary, 25 March 2001, available at http://www.brics.dk/Projects/CoFI/Documents/CASL/Summary/ (accessed 28.05.2001).
4. R. L. Constable, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer, R. Harper, D. J. Howe, T. B. Knoblock, N. P. Panangaden, J. T. Sasaki, and S. F. Smith, Implementing Mathematics with the Nuprl Development System. Prentice-Hall, Englewood Cliffs, New Jersey, 1986.
5. J. N. Crossley and I. Poernomo, Fred: An approach to generating real, correct, reusable programs from proofs, FMTOOLS 2000, special issue of J.U.C.S., 7, no.1, 71–88, available at http://www.jucs.org/jucs_7_1/fred_an_approach_to (accessed 28.05.2001).