The finite representation of abstract programs by automata and Petri nets - Taubner, Dirk, 1959- (Technical report. Technische Universität München. Institut für Informatik, 1988)