1. An interactive system for algebraic implementation proofs: The ISAR system from the user's point of view. Universität München, Technical Report (to appear), 1993.
2. C. Beierle, A. Vo\: Algebraic specification and implementation in an integrated software development and verification system. MEMO SEKI-12, FB Informatik, Universität Kaiserslautern, 1985.
3. How to prove observational theorems with LP. Proc. of the First International Workshop on Larch, July 1992, Boston, USA, Springer Verlag Workshop in Computing Series, 1993. Also in: Laboratoire d'Informatique de l' Ecole Normale Supérieure, Paris, LIENS-92-23, 1992.
4. R. S. Boyer, J. S. Moore: A computational logic handbook. Academic Press, New York, 1988.
5. R. M. Burstall: Proving properties of programs by structural induction. Comp. Journal 12, 41–48, 1969.