1. cts system and Petri nets;Aalbersberg,1984
2. Net Theory and Applications,1980
3. Regular canonical systems;Büchi;Archiv. fur Mathematische Logik und Grundlagenforschung,1964
4. The specification of process synchronization by path expressions;Campbell,1974
5. Automata, Languages and Machines;Eilenberg,1974