Concurrency theory of cyclic and acyclic processes - Stehr, Mark-Oliver (Fachbereich Informatik der Univ., 1996)
Literaturverz. S. 71 - 73