1. Genrich, H.J.; Lautenbach, K.: Facts in Place/Transition-Nets. In: Mathematical Foundations of Computer Science, Ed. Winkowski, J., Lecture Notes in Computer Science 64, pp. 213–231, Berlin, Heidelberg, New York: Springer, 1978
2. Genrich, H.J.; Lautenbach, K.: The Analysis of Distributed Systems by means of Predicate/Transition-Nets. In: Semantics of Concurrent Computation, Ed. Kahn, G., Lecture Notes in Computer Science 70, pp. 109–122, Berlin, Heidelberg, New York: Springer, 1979.
3. Genrich, H.J.; Lautenbach, K.: Thiagarajan, P.S.: Elements of General Net Theory. In: Net Theory and Practice, Ed. Brauer, W., Lecture Notes in Computer Science, Berlin, Heidelberg, New York: Springer, 1979.
4. Genrich, H.J.; Thiagarajan, P.S.: Bipolar Synchronization Systems. In: Seventh International Symposium on Automata, Languages, and Programming, Lecture Notes in Computer Science, Berlin, Heidelberg, New York: Springer, 1980
5. Hoare, C.A.R.: Communicating Sequential Processes. CACM, 21, no.8, pp. 666–677, 1978