Eine auf Petri-Netzen basierende Konstruktions-, Analyse- und (Teil-) Verifikationsmethode zur Modellierungsunterstütztung bei der Entwicklung von Informationssystemen - Scheschonk, Gert (Technická univerzita, 1984)