This page in English
SucheProving the Correctness of Algebraic Implementations by the ISAR System
Bauer, B., Hennicker, R.
Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems 93, Gmunden, Österreich, 15.-17. September 1993, Ed.: Alfonso Miola, Lecture Notes in Computer Science 722, pp. 2-16.
Verlag: Springer, Berlin