The finite representation of abstract programs by automata and Petri nets - Taubner, Dirk A. (1988)
Zugl.: München, Techn. Univ., Diss.