@book(agha86,
 author       = {Gul Agha},
 year         = {1986},
 title        = {Actors: A model of concurrent computation in distributed systems},
 publisher    = {The MIT Press},
 address      = {Cambridge, MA, USA},
)
@book(beck02,
 author       = {Kent Beck},
 year         = {2002},
 title        = {Test Driven Development: By Example},
 publisher    = {Addison-Wesley Longman Publishing Company, Inc.},
 address      = {Boston, MA, USA},
)
@inproceedings(bocchi10,
 author       = {Laura Bocchi and Kohei Honda and Emilio Tuosto and Nobuko Yoshida},
 year         = {2010},
 title        = {A Theory of Design-by-Contract for Distributed Multiparty Interactions},
 booktitle    = {Concurrency Theory, 21st International Conference, CONCUR 2010},
 pages        = {162--176},
 doi          = {{10.1007/978-3-642-15375-4_12}},
)
@inproceedings(bocchi15,
 author       = {Laura Bocchi and Julien Lange and Nobuko Yoshida},
 year         = {2015},
 title        = {{Meeting Deadlines Together}},
 editor       = {Luca Aceto and David de Frutos Escrig},
 booktitle    = {Concurrency Theory, 26th International Conference, CONCUR 2015},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {42},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {283--296},
 doi          = {10.4230/LIPIcs.CONCUR.2015.283},
)
@incollection(bocchi14,
 author       = {Laura Bocchi and Weizhen Yang and Nobuko Yoshida},
 year         = {2014},
 title        = {Timed Multiparty Session Types},
 editor       = {Paolo Baldan and Daniele Gorla},
 booktitle    = {Concurrency Theory, 25th International Conference, CONCUR 2014},
 series       = {Lecture Notes in Computer Science},
 volume       = {8704},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {419--434},
 doi          = {10.1007/978-3-662-44584-6_29},
)
@incollection(bollig13,
 author       = {Benedikt Bollig and Aiswarya Cyriac and Lo\"ic H\'elou\"et and Ahmet Kara and Thomas Schwentick},
 year         = {2013},
 title        = {Dynamic Communicating Automata and Branching High-Level {MSCs}},
 editor       = {Adrian-Horia Dediu and Mart\'in-Vide, Carlos and Bianca Truthe},
 booktitle    = {Language and Automata Theory and Applications},
 series       = {Lecture Notes in Computer Science},
 volume       = {7810},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {177--189},
 doi          = {10.1007/978-3-642-37064-9_17},
)
@inproceedings(boyer75,
 author       = {Robert S. Boyer and Bernard Elspas and Karl N. Levitt},
 year         = {1975},
 title        = {{SELECT} -- a Formal System for Testing and Debugging Programs by Symbolic Execution},
 booktitle    = {Proceedings of the International Conference on Reliable Software},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {234--245},
 doi          = {10.1145/800027.808445},
)
@article(brand83,
 author       = {Daniel Brand and Pitro Zafiropulo},
 year         = {1983},
 title        = {On Communicating Finite-State Machines},
 journal      = {Journal of the ACM},
 volume       = {30},
 number       = {2},
 pages        = {323--342},
 doi          = {10.1145/322374.322380},
)
@inproceedings(carbone15,
 author       = {Marco Carbone and Fabrizio Montesi and Nobuko Yoshida and Carsten Schurmann},
 year         = {2015},
 title        = {Multiparty Session Types as Coherence Proofs},
 booktitle    = {Concurrency Theory, 26th International Conference, CONCUR 2015},
 publisher    = {Leibniz International Proceedings in Informatics},
 doi          = {10.4230/LIPIcs.CONCUR.2015.412},
)
@inproceedings(cranen13,
 author       = {Sjoerd Cranen and Jan Friso Groote and Jeroen J. A. Keiren and Frank P. M. Stappers and Erik P. de Vink and Wieger Wesselink and Tim A. C. Willemse},
 year         = {2013},
 title        = {An Overview of the {mCRL2} Toolset and Its Recent Advances},
 booktitle    = {{TACAS} 2013},
 pages        = {199--213},
 doi          = {10.1007/978-3-642-36742-7_15},
)
@inproceedings(denielou12,
 author       = {Pierre-Malo Deni{\'e}lou and Nobuko Yoshida},
 year         = {2012},
 title        = {Multiparty Session Types Meet Communicating Automata},
 booktitle    = {Proceedings of the 21st European Conference on Programming Languages and Systems},
 series       = {ESOP'12},
 publisher    = {Springer-Verlag},
 pages        = {194--213},
 doi          = {10.1007/978-3-642-28869-2_10},
)
@incollection(denielou13,
 author       = {Pierre-Malo Deni{\'e}lou and Nobuko Yoshida},
 year         = {2013},
 title        = {Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types},
 editor       = {Fedor V. Fomin and Rūsiņš Freivalds and Marta Kwiatkowska and David Peleg},
 booktitle    = {Automata, Languages, and Programming},
 series       = {LNCS},
 volume       = {7966},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {174--186},
 doi          = {10.1007/978-3-642-39212-2_18},
)
@inproceedings(emerson80,
 author       = {E. Allen Emerson and Edmund M. Clarke},
 year         = {1980},
 title        = {Characterizing Correctness Properties of Parallel Programs Using Fixpoints},
 booktitle    = {Proceedings of the 7th Colloquium on Automata, Languages and Programming},
 publisher    = {Springer-Verlag},
 address      = {London, UK},
 pages        = {169--181},
 doi          = {10.1007/3-540-10003-2_69},
)
@book(freeman09,
 author       = {Steve Freeman and Nat Pryce},
 year         = {2009},
 title        = {Growing Object-Oriented Software, Guided by Tests},
 edition      = {1st},
 publisher    = {Addison-Wesley Professional},
)
@book(gamma95,
 author       = {Erich Gamma and Richard Helm and Ralph Johnson and John Vlissides},
 year         = {1995},
 title        = {Design Patterns: Elements of Reusable Object-Oriented Software},
 series       = {Addison-Wesley Professional Computing Series},
 publisher    = {Addison-Wesley},
 address      = {Boston, MA, USA},
)
@book(groote14,
 author       = {Jan Friso Groote and Mohammad Reza Mousavi},
 year         = {2014},
 title        = {Modeling and analysis of communicating systems},
 publisher    = {MIT Press},
)
@inproceedings(hewitt73,
 author       = {Carl Hewitt and Peter Bishop and Richard Steiger},
 year         = {1973},
 title        = {A Universal Modular ACTOR Formalism for Artificial Intelligence},
 booktitle    = {Proceedings of the 3rd International Joint Conference on Artificial Intelligence},
 series       = {IJCAI'73},
 publisher    = {Morgan Kaufmann Publishers Inc.},
 address      = {San Francisco, CA, USA},
 pages        = {235--245},
)
@inproceedings(lange15,
 author       = {Julien Lange and Emilio Tuosto and Nobuko Yoshida},
 year         = {2015},
 title        = {From Communicating Machines to Graphical Choreographies},
 booktitle    = {Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series       = {POPL '15},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {221--232},
 doi          = {10.1145/2676726.2676964},
)
@inproceedings(lange16,
 author       = {Julien Lange and Nobuko Yoshida},
 year         = {2016},
 title        = {Characteristic Formulae for Session Types},
 booktitle    = {TACAS 2016},
 series       = {LNCS},
 volume       = {9636},
 publisher    = {Springer},
 pages        = {833--850},
 doi          = {10.1007/978-3-662-49674-9_52},
)
@inproceedings(liskov87,
 author       = {Barbara Liskov},
 year         = {1987},
 title        = {Keynote Address - Data Abstraction and Hierarchy},
 booktitle    = {Addendum to the Proceedings on Object-oriented Programming Systems, Languages and Applications (Addendum)},
 series       = {OOPSLA '87},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {17--34},
 doi          = {10.1145/62138.62141},
)
@inproceedings(madeyski13,
 author       = {Lech Madeyski and Marcin Kawalerowicz},
 year         = {2013},
 title        = {Continuous Test-Driven Development - {A} Novel Agile Software Development Practice and Supporting Tool},
 booktitle    = {{ENASE} 2013 - Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering},
 pages        = {260--267},
 doi          = {10.5220/0004587202600267},
)
@incollection(queille82,
 author       = {J.P. Queille and J. Sifakis},
 year         = {1982},
 title        = {Specification and verification of concurrent systems in CESAR},
 editor       = {Dezani-Ciancaglini, Mariangiola and Ugo Montanari},
 booktitle    = {International Symposium on Programming},
 series       = {Lecture Notes in Computer Science},
 volume       = {137},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {337--351},
 doi          = {10.1007/3-540-11494-7_22},
)
@inproceedings(saff04,
 author       = {David Saff and Michael D. Ernst},
 year         = {2004},
 title        = {Continuous testing in {Eclipse}},
 booktitle    = {2nd Eclipse Technology Exchange Workshop (eTX)},
 address      = {Barcelona, Spain},
 doi          = {10.1016/j.entcs.2004.02.051},
)