1. C. A. Petri, Kommunikation mit automaten, Ph.D. thesis, Schriften des Rheinisch-Westfälischen Institutes für Instrumentelle Mathematik an der Universität Bonn Nr. 2, English translation: Communication with Automata. Technical Report, RADC TR-65-377-vol-1-suppl-1 Applied Data Research, Griffiss Air Force Base, Contract AF 30(602)-3324, 1966 (1962).
2. M. Roggenbach, A. Cerone, B.-H. Schlingloff, G. Schneider, S. A. Shaikh, Formal Methods for Software Engineering — Languages, Methods, Application Domains, Springer, 2022.
3. P. C. Ölveczky, Designing Reliable Distributed Systems, Undergraduate Topics in Computer Science, Springer, 2017.
4. L. S. Barbosa, Components as coalgebras, Ph.D. thesis, Department of Computer Science, School of Engineering, University of Minho (2001).
5. G. Solomonoff, Ray Solomonoff and the Dartmouth summer research project in artificial intelligence, 1956, http://raysolomonoff.com/dartmouth/dartray.pdf.