Krämer, B. "Formal and Semi-Graphic Specification of Non-Sequential Systems" 2: ESPRIT Project 125 - GRASPIN; Technical Paper GMD 12. St. Augustin: Gesellschaft für Mathematik und Datenverarbeitung mbH, September 1984.

Languages mentioned

• SEGRAS {1985}