Wilhelm K. Hackmann, Ekkart Rudolph, Hans Seidl: Entwurfstechnologie auf der Grundlage von Petri-Netzen. GI Jahrestagung 1980: 550