1. R.Bardohl, Konzept und Implementierung der Sprache GOT zur graphischen Visualisierung von Termen algebraischer Spezifikationen, Institut für Software und Theoretische Informatik, Forschungsgruppe Formale Spezifikationen, Technische Universität Berlin, Diplomarbeit, 1993
2. H.Bertling, and H.Ganzinger, Paraphrasing in the PROSPECTRA System, University of Dortmund, in: the Project PROgram development by SPECification and TRAnsformation, Project Ref. No. 390, 1986
3. M.Bidoit and C.Choppy, ASSPEGIQUE: An integrated environment for alge-braic specification,in: TAPSOFT’85, LNCS 186, pages 246–260, Springer, 1985
4. J.A.Bergstra, J.Heering, and P.Klint, Algebraic Specification, Frontier Series, ACM Press, Addison—Wesley, New York, 1989
5. I.Claßen, H.Ehrig, and D.Wolz, Algebraic Specification Techniques and Tools for Software Development — The ACT Approach, vol. 1 of AMAST Series in Computing, World Scientific Publishing, 1993 26