1. Roswitha Bardohl Konzept und Implementierung der Sprache GVT zur graphischen Visualisierung von Termen algebraischer Spezifikationen; Diplomarbeit an der TU Berlin, Mai1993
2. Jon L. Bentley, Brian W. Kernighan A System for Algorithm Animation; Computing Systems, Vol. 4, No. 1, 1991, pp. 5–30
3. Tommaso Bolognesi, Diego Latella Techniques for the formal definition of the G-LOTOS syntax; in: Participant's Proceedings of the Ninth IFIPWWG 6.1, 6–9 June 1989, pp. 1–14. University of Twente — Enschede.
4. Marc H. Brown Exploring Algorithms Using Balsa-II; IEEE Computer, May 1988, pp. 14–36.
5. Ingo Claßen, Martin Große-Rohde, Uwe Wolter Categorical Concepts for Parameterized Partial Specifications; TU Berlin report no. 92-42