@unknown(BD:SSPC,
 author       = "M.~Boreale and R.~De~Nicola",
 year         = "1996",
 title        = "A symbolic semantics for the Pi-calculus",
 journal      = "Inform.\ and Comput.",
 volume       = "126",
 number       = "1",
 pages        = "34--52",
)
@unknown(BZ:TUTCCCC,
 author       = "M.~Bravetti and G.~Zavattaro",
 year         = "2007",
 title        = "Towards a Unifying Theory for Choreography Conformance and Contract Compliance",
 booktitle    = "Software Composition",
 series       = "Lect.\ Notes in Comput.\ Sci.",
 volume       = "4829",
 publisher    = "Springer Verlag",
 pages        = "34--50",
)
@unknown(BM:APOL,
 author       = "M.G. Buscemi and H.~Melgratti",
 year         = "2009",
 title        = "Abstract Processes in Orchestration Languages",
 booktitle    = "ESOP",
 series       = "Lect.\ Notes in Comput.\ Sci.",
 volume       = "5502",
 publisher    = "Springer Verlag",
 pages        = "301--315",
)
@unknown(CastagnaGP08,
 author       = "Giuseppe Castagna and Nils Gesbert and Luca Padovani",
 year         = "2008",
 title        = "A theory of contracts for web services",
 booktitle    = "POPL",
 pages        = "261--272",
)
@unknown(CGP09:TCWS,
 author       = "Giuseppe Castagna and Nils Gesbert and Luca Padovani",
 year         = "2009",
 title        = "A theory of contracts for Web services",
 journal      = "ACM Trans. Program. Lang. Syst.",
 volume       = "31",
 number       = "5",
 url          = "http://doi.acm.org/10.1145/1538917.1538920",
)
@unknown(dNH:TEP,
 author       = "R.~De~Nicola and M.~Hennessy",
 year         = "1984",
 title        = "Testing Equivalences for Processes",
 journal      = "Theoret.\ Comput.\ Sci.",
 volume       = "34",
 pages        = "83--133",
)
@unknown(DezaniECCOP06,
 author       = "Mariangiola Dezani-Ciancaglini and Dimitris Mostrous and Nobuko Yoshida and Sophia Drossopoulou",
 year         = "2006",
 title        = "Session Types for Object-Oriented Languages",
 booktitle    = "Proc. ECOOP",
 series       = "Lecture Notes in Computer Science",
 volume       = "4067",
 publisher    = "Springer",
 pages        = "328--352",
)
@unknown(GayHole,
 author       = "Simon~J. Gay and Malcolm Hole",
 year         = "2005",
 title        = "Subtyping for session types in the pi calculus",
 journal      = "Acta Informaticae",
 volume       = "42",
 number       = "2--3",
 pages        = "191--225",
)
@unknown(HL:SB,
 author       = "M.~Hennessy and H.~Lin",
 year         = "1995",
 title        = "Symbolic bisimulations",
 journal      = "Theoret.\ Comput.\ Sci.",
 volume       = "138",
 pages        = "353--389",
)
@unknown(Honda93,
 author       = "Kohei Honda",
 year         = "1993",
 title        = "Types for Dynamic Interaction",
 booktitle    = "Proc. CONCUR",
 series       = "Lecture Notes in Computer Science",
 volume       = "715",
 publisher    = "Springer",
 pages        = "509--523",
)
@unknown(LaneveP07,
 author       = "Cosimo Laneve and Luca Padovani",
 year         = "2007",
 title        = "The {M}ust Preorder Revisited",
 booktitle    = "CONCUR",
 series       = "Lect.\ Notes in Comput.\ Sci.",
 volume       = "4703",
 pages        = "212--225",
)
@unknown(Mil:CC,
 author       = "R.~Milner",
 year         = "1989",
 title        = "{C}ommunication and {C}oncurrency",
 publisher    = "Prentice Hall International",
)