THE FINITE REPRESENTATION OF ABSTRACT PROGRAMS BY AUTOMATA AND PETRI NETS - Taubner, Dirk A. (Technická univerzita, 1988)