Krämer, B. "Stepwise Construction of Non-Sequential Software Systems Using a Net Based Specification Language" in: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 188: Advances in Petri Nets 1984, pages 307-330. Springer-Verlag, 1985.

Languages mentioned

• SEGRAS {1985}