1. H. Carstensen: Fairneß bei Petrinetzen mit unendlichem Verhalten; Universität Hamburg, Fachbereich Informatik, Bericht Nr. 93, IFI-HH-B-93/82, 1982.
2. H. Carstensen: Fairneß bei nebenläufigen Systemen — Eine Untersuchung am Modell der Petrinetze; Universität Hamburg, Fachbereich Informatik, Bericht Nr. 126, FBI-HH-B-126/87, 1987.
3. Lecture Notes in Computer Science;H. Carstensen,1985
4. R. S. Cohen, A. Y. Gold: Theory of ω-Languages, Part I: Characterization of ω-Context-Free Languages, Part II: A Study of Various Models of ω-Type Generation and Recognition; Journal of Computer and System Sciences 15, (pp. 169–208), 1977.
5. R. S. Cohen, A. Y. Gold: ω-Computations on Deterministic Pushdown Machines; Journal of Computer and System Sciences 16, (pp. 275–300), 1978.