@misc(Redux,
 author       = {Dan Abramov},
 year         = {2015},
 title        = {Redux - A predictable state container for JavaScript apps.},
 url          = {https://redux.js.org/},
)
@inproceedings(TypeScript,
 author       = {Gavin Bierman and Martín Abadi and Mads Torgersen},
 year         = {2014},
 title        = {Understanding TypeScript},
 editor       = {RichardEditor Jones},
 booktitle    = {ECOOP 2014 – Object-Oriented Programming},
 series       = {Lecture Notes in Computer Science},
 publisher    = {Springer},
 pages        = {257--281},
 doi          = {10.1007/978-3-662-44202-9_11},
)
@misc(promise,
 author       = {MDN contributors},
 year         = {2020},
 title        = {Promise},
 url          = {https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Promise},
 note         = {Library Catalog: developer.mozilla.org},
)
@inbook(LINKS,
 author       = {Ezra Cooper and Sam Lindley and Philip Wadler and Jeremy Yallop},
 year         = {2007},
 title        = {Links: Web Programming Without Tiers},
 pages        = {266--296},
 volume       = {4709},
 publisher    = {Springer Berlin Heidelberg},
 doi          = {10.1007/978-3-540-74792-5_12},
)
@inproceedings(MPST,
 author       = {Mario Coppo and Dezani-Ciancaglini, Mariangiola and Luca Padovani and Nobuko Yoshida},
 year         = {2015},
 title        = {{A Gentle Introduction to Multiparty Asynchronous Session Types}},
 booktitle    = {15th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Multicore Programming},
 series       = {LNCS},
 volume       = {9104},
 publisher    = {Springer},
 pages        = {146--178},
 doi          = {10.1007/978-3-319-18941-3_4},
)
@inproceedings(ICALP13CFSM,
 author       = {Pierre-Malo Deniélou and Nobuko Yoshida},
 year         = {2013},
 title        = {{Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types}},
 booktitle    = {40th International Colloquium on Automata, Languages and Programming},
 series       = {LNCS},
 volume       = {7966},
 publisher    = {Springer},
 address      = {Berlin, Heidelberg},
 pages        = {174--186},
 doi          = {10.1007/978-3-642-39212-2\_18},
)
@techreport(WebSocketRFC,
 author       = {I. Fette and A. Melnikov},
 year         = {2011},
 title        = {{The WebSocket Protocol}},
 type         = {{RFC}},
 number       = {6455},
 institution  = {{RFC Editor}},
 url          = {https://www.rfc-editor.org/rfc/rfc1654.txt},
)
@misc(ExpressJS,
 author       = {Node.js Foundation},
 title        = {Express - Node.js web application framework},
 url          = {https://expressjs.com/},
)
@article(MVU2019,
 author       = {Simon Fowler},
 year         = {2019},
 title        = {Model-View-Update-Communicate: Session Types meet the Elm Architecture},
 journal      = {arXiv:1910.11108 [cs]},
 url          = {http://arxiv.org/abs/1910.11108},
 note         = {ArXiv: 1910.11108},
)
@article(javatypestate,
 author       = {Rosita Gerbo and Luca Padovani},
 year         = {2019},
 title        = {Concurrent Typestate-Oriented Programming in Java},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {291},
 pages        = {24--34},
 doi          = {10.4204/EPTCS.291.3},
 note         = {ArXiv: 1904.01286},
)
@inproceedings(Hybrid2016,
 author       = {Raymond Hu and Nobuko Yoshida},
 year         = {2016},
 title        = {{Hybrid Session Verification through Endpoint API Generation}},
 booktitle    = {19th International Conference on Fundamental Approaches to Software Engineering},
 series       = {LNCS},
 volume       = {9633},
 publisher    = {Springer},
 pages        = {401--418},
 doi          = {10.1007/978-3-662-49665-7_24},
)
@inbook(ExplicitConnections,
 author       = {Raymond Hu and Nobuko Yoshida},
 year         = {2017},
 title        = {Explicit Connection Actions in Multiparty Session Types},
 pages        = {116--133},
 volume       = {10202},
 publisher    = {Springer Berlin Heidelberg},
 doi          = {10.1007/978-3-662-54494-5_7},
)
@article(PureScript2019,
 author       = {Jonathan King and Nicholas Ng and Nobuko Yoshida},
 year         = {2019},
 title        = {Multiparty Session Type-safe Web Development with Static Linearity},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {291},
 pages        = {35--46},
 doi          = {10.4204/EPTCS.291.4},
)
@book(NoughtsAndCrosses,
 author       = {Anson Miu},
 year         = {2020},
 title        = {ansonmiu0214/scribble-noughts-and-crosses},
 url          = {https://github.com/ansonmiu0214/scribble-noughts-and-crosses},
)
@article(Python2017,
 author       = {Rumyana Neykova and Nobuko Yoshida},
 year         = {2017},
 title        = {{How to Verify Your Python Conversations}},
 journal      = {Behavioural Types: from Theory to Tools},
 pages        = {77--98},
 doi          = {10.13052/rp-9788793519817},
)
@inbook(FeatherweightScribble,
 author       = {Rumyana Neykova and Nobuko Yoshida},
 year         = {2019},
 title        = {Featherweight Scribble},
 pages        = {236--259},
 volume       = {11665},
 publisher    = {Springer International Publishing},
 doi          = {10.1007/978-3-030-21485-2_14},
)
@misc(NodeJS,
 author       = {Node.js},
 title        = {Node.js},
 url          = {https://nodejs.org/en/},
)
@misc(TypeScriptSpec,
 author       = {Microsoft Research},
 title        = {TypeScript Language Specification},
 url          = {https://github.com/microsoft/TypeScript},
)
@misc(JSX,
 author       = {Facebook Open Source},
 title        = {Introducing JSX – React},
 url          = {https://reactjs.org/docs/introducing-jsx.html},
)
@misc(React,
 author       = {Facebook Open Source},
 title        = {React – A JavaScript library for building user interfaces},
 url          = {https://reactjs.org/},
)
@misc(WebRTC,
 author       = {Justin Uberti and Peter Thatcher},
 year         = {2011},
 title        = {WebRTC},
 url          = {https://webrtc.org/},
)
@article(ATS,
 author       = {Hongwei Xi},
 year         = {2017},
 title        = {Applied Type System: An Approach to Practical Programming with Theorem-Proving},
 journal      = {arXiv:1703.08683 [cs]},
 url          = {http://arxiv.org/abs/1703.08683},
 note         = {ArXiv: 1703.08683},
)
@inproceedings(Scribble,
 author       = {Nobuko Yoshida and Raymond Hu and Rumyana Neykova and Nicholas Ng},
 year         = {2013},
 title        = {{The Scribble Protocol Language}},
 booktitle    = {8th International Symposium on Trustworthy Global Computing},
 series       = {LNCS},
 volume       = {8358},
 publisher    = {Springer},
 pages        = {22--41},
 doi          = {10.1007/978-3-319-05119-2_3},
)