1. J. Esparza and G. Bruns. Trapping mutual exclusion in the box calculus. Theoretical Computer Science, 153: 95–128, 1996.
2. E. Best. Semantik — Theorie sequentieller and paralleler Programmierung. Vieweg, 1995.
3. P. S. Thiagarajan and K. Voss. A fresh look at free choice nets. Information and Control, 61 (2): 85–113, 1984.
4. J. Desel and J. Esparza. Free Choice Petri Nets, Band 40 der Serie Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1995.
5. R. Walter. Petrinetzmodelle verteilter Algorithmen-Beweistechnik and Intuition. Dissertation, Humboldt-Universität zu Berlin, Edition Versal, Bertz Verlag, Berlin, 1995.