@unknown(alex,
 title        = "Alex: A lexical analyser generator for Haskell",
 howpublished = "\url {http://www.haskell.org/alex}",
)
@unknown(bpel06,
 author       = "Alexandre Alves and Assaf Arkin and Sid Askary and Ben Bloch and Francisco Curbera and Yaron Goland and Neelakantan Kartha and Sterling and Dieter K\"{o}nig and Vinkesh Mehta and Satish Thatte and Danny van der Rijn and Prasad Yendluri and Alex Yiu",
 year         = "2006",
 title        = "Web Services Business Process Execution Language Version 2.0",
 howpublished = "OASIS Committee Draft",
 url          = "http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.pdf",
)
@unknown(blc08,
 author       = "Lorenzo Bettini and Sara Capecchi and Mariangiola Dezani-Ciancaglini and Elena Giachino and Betti Venneri",
 year         = "2008",
 title        = "Session and Union Types for Object Oriented Programming",
 journal      = "LNCS",
 pages        = "659--680",
 url          = "http://dx.doi.org/10.1007/978-3-540-68679-8_41",
)
@unknown(bhty09,
 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",
 editor       = "Gastin and Laroussinie",
 pages        = "162--176",
 url          = "http://dx.doi.org/10.1007/978-3-642-15375-4_12",
)
@unknown(blt11,
 author       = "Laura Bocchi and Julien Lange and Emilio Tuosto",
 year         = "2011",
 title        = "Amending Contracts for Choreographies",
 booktitle    = "ICE",
 note         = "To appear",
)
@unknown(Bruni_multiparty,
 author       = "{Roberto} {Bruni} and {Ivan} {Lanese} and {Hern\'an} {Melgratti} and {Emilio} {Tuosto}",
 year         = "2008",
 title        = "{Multiparty sessions in SOC}",
 editor       = "Doug Lea and Gianluigi Zavattaro",
 booktitle    = "COORDINATION'08",
 series       = "LNCS",
 volume       = "5052",
 publisher    = "Springer",
 pages        = "67--82",
 url          = "http://www.di.unipi.it/~bruni/publications/multiparty.ps.gz",
)
@unknown(Caires_conversationtypes,
 author       = "Lu\'{\i }s Caires and Hugo Torres Vieira",
 year         = "2009",
 title        = "Conversation Types",
 booktitle    = "ESOP'09",
 publisher    = "Springer",
 address      = "Berlin, Heidelberg",
 pages        = "285--300",
 url          = "http://dx.doi.org/10.1007/978-3-642-00590-9_21",
)
@unknown(cooper72,
 author       = "D. C. Cooper",
 year         = "1972",
 title        = "Theorem proving in arithmetic without multiplication",
 journal      = "Machine Intelligence 7",
 pages        = "91--99",
 url          = "http://citeseerx.ist.psu.edu/showciting?cid=697241",
)
@unknown(dn10,
 author       = "{Pierre-Malo} Deni\'elou and Nobuko Yoshida",
 year         = "2010",
 title        = "Buffered Communication Analysis in Distributed Multiparty Sessions",
 editor       = "Gastin and Laroussinie",
 pages        = "343--357",
 url          = "http://dx.doi.org/10.1007/978-3-642-15375-4_24",
)
@unknown(concur10,
 editor       = "Paul Gastin and Francoise Laroussinie",
 year         = "2010",
 title        = "{CONCUR 2010 -- Concurrency Theory}",
 series       = "Lecture Notes in Computer Science",
 volume       = "6269",
 publisher    = "Springer",
)
@unknown(gh99,
 author       = "Simon Gay and Malcolm Hole",
 year         = "1999",
 title        = "Types and Subtypes for Client-Server Interactions",
 booktitle    = "Proceedings of the 1999 European Symposium on Programming, number 1576 in Lecture Notes in Computer Science",
 publisher    = "Springer",
 pages        = "74--90",
 url          = "http://dx.doi.org/10.1007/3-540-49099-X_6",
)
@unknown(happy,
 title        = "Happy: The Parser Generator for Haskell",
 howpublished = "\url {http://www.haskell.org/happy}",
)
@unknown(Honda_languageprimitives,
 author       = "Kohei Honda and Vasco T. Vasconcelos and Makoto Kubo",
 year         = "1998",
 title        = "Language Primitives And Type Discipline For Structured Communication-Based Programming",
 booktitle    = "In ESOP, volume 1381 of LNCS",
 publisher    = "Springer",
 pages        = "122--138",
 url          = "http://dx.doi.org/10.1007/BFb0053567",
)
@unknown(Honda_multipartyasynchronous,
 author       = "Kohei Honda and Nobuko Yoshida and Marco Carbone",
 year         = "2008",
 title        = "Multiparty asynchronous session types",
 booktitle    = "POPL",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "273--284",
 url          = "http://doi.acm.org/10.1145/1328438.1328472",
)
@unknown(Hu_sessionbased,
 author       = "Raymond Hu and Nobuko Yoshida and Kohei Honda",
 year         = "2008",
 title        = "Session-based distributed programming in Java",
 journal      = "ECOOP, Springer LNCS",
 volume       = "5142",
 pages        = "516--541",
 url          = "http://dx.doi.org/10.1007/978-3-540-70592-5_22",
)
@unknown(wscdl10,
 author       = "Nickolas Kavantzas and David Burdett and Greg Ritzinger and Tony Fletcher and Yves Lafon and Charlton Barreto",
 year         = "2005",
 title        = "Web Services Choreography Description Language Version 1.0",
 howpublished = "World Wide Web Consortium, Candidate Recommendation CR-ws-cdl-10-20051109",
 url          = "http://www.w3.org/TR/2005/CR-ws-cdl-10-20051109",
)
@unknown(toolsite,
 author       = "Julien Lange",
 title        = "{VOSENID:} {A} {M}odular {T}oolkit for {D}istributed {I}nteractions",
 howpublished = "\url {http://www.cs.le.ac.uk/people/jl250/tools}",
)
@unknown(Neubauer_animplementation,
 author       = "Matthias Neubauer and Peter Thiemann",
 year         = "2004",
 title        = "An Implementation of Session Types",
 booktitle    = "In PADL, volume 3057 of LNCS",
 publisher    = "Springer",
 pages        = "56--70",
 url          = "http://dx.doi.org/10.1007/978-3-540-24836-1_5",
)
@unknown(oppen78,
 author       = "Derek C. Oppen",
 year         = "1978",
 title        = "A $2^{2^{2^{pn}}}$ upper bound on the complexity of Presburger Arithmetic",
 journal      = "Journal of Computer and System Sciences",
 volume       = "16",
 number       = "3",
 pages        = "323 -- 332",
 url          = "http://www.sciencedirect.com/science/article/B6WJ0-4B4RN0K-D0/2/0b53fc6b4ea1e8d83d4a7cacef229610",
)
@unknown(presburgerhaskell,
 title        = "presburger: {C}ooper's decision procedure for {P}resburger arithmetic",
 howpublished = "\url {http://hackage.haskell.org/package/presburger}",
)
@unknown(Pucella_haskellsession,
 author       = "Riccardo Pucella and Jesse A. Tov",
 year         = "2008",
 title        = "Haskell session types with (almost) no class",
 booktitle    = "Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "25--36",
 url          = "http://doi.acm.org/10.1145/1411286.1411290",
)
@unknown(Sackman_sessiontypes,
 author       = "Matthew Sackman and Susan Eisenbach",
 year         = "2008",
 title        = "Session Types in Haskell: Updating Message Passing for the 21st Century",
 type         = "Technical Report",
 institution  = "Imperial College London, Department of Computing",
 url          = "http://hdl.handle.net/10044/1/5918",
)
@unknown(savara,
 title        = "{SAVARA} and the "Testable Architecture" Methodology",
 howpublished = "\url {http://www.jboss.org/savara}",
)
@unknown(bpmn07,
 author       = "S.A. White",
 year         = "2004",
 title        = "Introduction to BPMN",
 type         = "Technical Report",
 institution  = "Object Management Group",
 url          = "http://www.bpmn.org/Documents/Introduction_to_BPMN.pdf",
)