Eine Methode zur Verifikation von Prädikat/Transitions-Netzen und ihr Vergleich mit dem Hoare-Kalkül zur Programmverifikation. - Thomas Schübel (1988)