Krämer, B. "Concepts, Syntax and Semantics of SEGRAS. A Specification Language for Distributed Systems" Berichte der Gesellschaft für Mathematik und Datenverarbeitung mbH (GMD) Nr. 179 München: Oldenbourg, 1989.

Languages mentioned

• SEGRAS {1985}