1. Jonathan Aldrich, Joshua Sunshine, Darpan Saini & Zachary Sparks (2009): Typestate-Oriented Programming. In: Proceedings of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications, OOPSLA09. ACM, pp. 10151022, doi:10.1145/1639950.1640073.
  2. Luca Cardelli (1996): Type systems. ACM Computing Surveys (CSUR) 28(1), pp. 263–264, doi:10.1145/234313.234418.
  3. Noam Chomsky (1956): Three models for the description of language. IRE Transactions on Information Theory 2, pp. 113–124, doi:10.1109/TIT.1956.1056813. Available at–.pdf.
  4. Ornela Dardha, Simon J. Gay, Dimitrios Kouzapas, Roly Perera, A. Laura Voinea & Florian Weber (2017): Mungo and StMungo: tools for typechecking protocols in Java. In: Simon Gay & Antonio Ravara: Behavioural Types: from Theory to Tools, River Publishers Series in Automation, Control and Robotics. River Publishers, pp. 309–328, doi:10.1016/j.scico.2017.10.006.
  5. Pierre-Malo Denielou & Nobuko Yoshida (2013): Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types. In: Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II 7966. Springer, pp. 174, doi:10.1007/978-3-642-39212-2_18. International Colloquium on Automata, Languages, and Programming (ICALP'13) ; Conference date: 08-07-2013 Through 12-07-2013.
  6. Edsger W Dijkstra (1972): The humble programmer. Communications of the ACM 15(10), pp. 859–866, doi:10.1145/355604.361591.
  7. John E. Hopcroft, Rajeev Motwani & Jeffrey D. Ullman (2006): Introduction to Automata Theory, Languages, and Computation (3rd Edition). Addison-Wesley Longman Publishing Co., Inc., doi:10.5555/1177300.
  8. Hans Hüttel, Ivan Lanese, Vasco T. Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara, Emilio Tuosto, Hugo Torres Vieira & Gianluigi Zavattaro (2016): Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. 49(1), pp. 3:1–3:36, doi:10.1145/2873052.
  9. Oscar Nierstrasz (1993): Regular Types for Active Objects. SIGPLAN Not. 28(10), pp. 1–15, doi:10.1145/167962.167976.
  10. Robert Strom & Shaula Yemini (1986): Typestate: A programming language concept for enhancing software reliability. IEEE Trans. Softw. Eng. 12, pp. 157–171, doi:10.1109/TSE.1986.6312929.
  11. Jules Villard (2011): Heaps and Hops. Thèse de doctorat. Laboratoire Spécification et Vérification, ENS Cachan, France. Available at

Comments and questions to:
For website issues: