Krämer, B. "Die Spezifikations- und Entwurfsprache SEGRAS" In: Handbuch der modernen Datenverarbeitung, Heft 130: Formale Methoden in der Systementwicklung, pages 107-116. Forkel-Verlag, July 1986

Languages mentioned

• SEGRAS {1985}