@inproceedings(typestate_oriented,
 author       = {Jonathan Aldrich and Joshua Sunshine and Darpan Saini and Zachary Sparks},
 year         = {2009},
 title        = {Typestate-Oriented Programming},
 booktitle    = {Proceedings of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications},
 series       = {OOPSLA\IeC{\textquoteright}09},
 publisher    = {ACM},
 pages        = {1015\IeC{\textendash}1022},
 doi          = {10.1145/1639950.1640073},
)
@article(cardelli1996type,
 author       = {Luca Cardelli},
 year         = {1996},
 title        = {Type systems},
 journal      = {ACM Computing Surveys (CSUR)},
 volume       = {28},
 number       = {1},
 pages        = {263--264},
 doi          = {10.1145/234313.234418},
)
@article(chomsky,
 author       = {Noam Chomsky},
 year         = {1956},
 title        = {Three models for the description of language},
 journal      = {IRE Transactions on Information Theory},
 volume       = {2},
 pages        = {113--124},
 doi          = {10.1109/TIT.1956.1056813},
 url          = {http://www.chomsky.info/articles/195609--.pdf},
)
@incollection(mungo_article,
 author       = {Ornela Dardha and Simon J. Gay and Dimitrios Kouzapas and Roly Perera and A. Laura Voinea and Florian Weber},
 year         = {2017},
 title        = {{Mungo and StMungo}: tools for typechecking protocols in Java},
 editor       = {Simon Gay and Antonio Ravara},
 booktitle    = {Behavioural Types: from Theory to Tools},
 series       = {River Publishers Series in Automation, Control and Robotics},
 publisher    = {River Publishers},
 pages        = {309--328},
 doi          = {10.1016/j.scico.2017.10.006},
)
@inproceedings(communicating_automata,
 author       = {Pierre-Malo Denielou and Nobuko Yoshida},
 year         = {2013},
 title        = {Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types},
 booktitle    = {Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II},
 volume       = {7966},
 publisher    = {Springer},
 pages        = {174},
 doi          = {10.1007/978-3-642-39212-2_18},
 note         = {International Colloquium on Automata, Languages, and Programming (ICALP'13) ; Conference date: 08-07-2013 Through 12-07-2013},
)
@article(dijkstra1972humble,
 author       = {Edsger W Dijkstra},
 year         = {1972},
 title        = {The humble programmer},
 journal      = {Communications of the ACM},
 volume       = {15},
 number       = {10},
 pages        = {859--866},
 doi          = {10.1145/355604.361591},
)
@book(hopcroft,
 author       = {John E. Hopcroft and Rajeev Motwani and Jeffrey D. Ullman},
 year         = {2006},
 title        = {Introduction to Automata Theory, Languages, and Computation (3rd Edition)},
 publisher    = {Addison-Wesley Longman Publishing Co., Inc.},
 doi          = {10.5555/1177300},
)
@article(huttel2016foundations,
 author       = {Hans H\"{u}ttel and Ivan Lanese and Vasco T. Vasconcelos and Lu\'{\i}s Caires and Marco Carbone and Pierre-Malo Deni{\'e}lou and Dimitris Mostrous and Luca Padovani and Ant\'{o}nio Ravara and Emilio Tuosto and Hugo Torres Vieira and Gianluigi Zavattaro},
 year         = {2016},
 title        = {Foundations of Session Types and Behavioural Contracts},
 journal      = {ACM Comput. Surv.},
 volume       = {49},
 number       = {1},
 pages        = {3:1--3:36},
 doi          = {10.1145/2873052},
)
@article(nierstrasz1993regular,
 author       = {Oscar Nierstrasz},
 year         = {1993},
 title        = {Regular Types for Active Objects},
 journal      = {SIGPLAN Not.},
 volume       = {28},
 number       = {10},
 pages        = {1--15},
 doi          = {10.1145/167962.167976},
)
@article(typestate,
 author       = {Robert Strom and Shaula Yemini},
 year         = {1986},
 title        = {Typestate: A programming language concept for enhancing software reliability},
 journal      = {IEEE Trans. Softw. Eng.},
 volume       = {12},
 pages        = {157--171},
 doi          = {10.1109/TSE.1986.6312929},
)
@phdthesis(heaps_and_hops,
 author       = {Jules Villard},
 year         = {2011},
 title        = {Heaps and Hops},
 type         = {Th{\`e}se de doctorat},
 school       = {Laboratoire Sp{\'e}cification et V{\'e}rification, ENS Cachan, France},
 url          = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/villard-phd.pdf},
)