Krämer, B. "Stepwise Construction of Non-Sequential Software Systems Using a Net Based Specification Language" Gesellschaft für Math. und Datenverarbeitung mbH Bonn, GRASPIN Technical Papers GMD 17/1, September 1984.

Languages mentioned

• SEGRAS {1985}