1. G.M. Adelson-Velskii, Y.M., Landis: An Algorithm for the Organization of Information. Soviet Math. Dokl. 3, 1962, pp. 1259–1262
2. G. Antoniou, On the Verification of Modular Programs, Dissertation Universität Osnabrück, 1989 (in German).
3. S. Biundo, B. Hummel, D. Hutter, C. Walther: The Karlsruhe Induction Theorem Proving System. 8th International Conference on Automated Deduction, Springer LNCS 230, 1986
4. R.S. Boyer, J S. Moore, A Computational Logic. Academic Press, 1979
5. M. Broy et al.: The Requirement and Design Specification Language Spectrum, An Informal Introduction. Technical report, TU München, 1993