Title: The finite representation of abstract programs by automata and Petri nets
Subjects: Parallel processing (Electronic computers), Petri nets