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.
Luca Cardelli (1996):
Type systems.
ACM Computing Surveys (CSUR) 28(1),
pp. 263–264,
doi:10.1145/234313.234418.
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.
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.
Edsger W Dijkstra (1972):
The humble programmer.
Communications of the ACM 15(10),
pp. 859–866,
doi:10.1145/355604.361591.
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.
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.
Oscar Nierstrasz (1993):
Regular Types for Active Objects.
SIGPLAN Not. 28(10),
pp. 1–15,
doi:10.1145/167962.167976.
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.