Berthold Hoffmann, Detlef Plump: Implementing term rewriting by jungle evaluation. RAIRO Theor. Informatics Appl. 25:445-472, 1991.
Berthold Hoffmann, Bernd Krieg-Brückner: The PROSPECTRA System. In Sren Prehn, W. J. Toetenel, editors, VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions, volume 551 of Lecture Notes in Computer Science, pages 668-669. Springer, 1991.
Berthold Hoffmann, Bernd Krieg-Brückner: The PROSPECTRA System. In Christian Choffrut, Matthias Jantzen, editors, STACS 91, 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, Proceedings, volume 480 of Lecture Notes in Computer Science, pages 539-540. Springer, 1991.
