@misc(HOCON,
 title        = {HOCON Specification},
 howpublished = {\url{https://github.com/typesafehub/config/blob/master/HOCON.md}},
 note         = {Accessed: 2016-09-20},
)
@misc(reactivestreams,
 title        = {Reactive Streams},
 howpublished = {\url{http://www.reactive-streams.org/}},
 note         = {Accessed: 2016-05-16},
)
@misc(revealjs,
 title        = {reveal.js website},
 howpublished = {\url{http://lab.hakim.se/reveal-js}},
 note         = {Accessed: 2016-05-16},
)
@inproceedings(Arias2016,
 author       = {Emilio Jesus Gallego Arias and Benoit Pin and Pierre Jouvelo},
 year         = {2016},
 title        = {jsCoq: Towards a Hybrid Theorem Proving Interface for Coq},
 editor       = {Serge Autexier and Pedro Quaresma},
 booktitle    = {Proc. User Interfaces for Theorem Provers {(UITP'16)}},
 address      = {Coimbra},
)
@article(Back1997,
 author       = {Ralph Back and Jim Grundy and Joakim von Wright},
 year         = {1997},
 title        = {Structured calculational proof},
 journal      = {Formal Aspects of Computing},
 volume       = {9},
 number       = {5},
 pages        = {469--483},
 doi          = {10.1007/BF01211456},
)
@incollection(typescript,
 author       = {Gavin Bierman and Martin Abadi and Mads Torgersen},
 year         = {2014},
 title        = {Understanding typescript},
 booktitle    = {ECOOP 2014--Object-Oriented Programming},
 publisher    = {Springer},
 pages        = {257--281},
 doi          = {10.1007/978-3-662-44202-9{\_}11},
)
@article(JAPE99a,
 author       = {Richard Bornat and Bernard Sufrin},
 year         = {1999},
 title        = {Animating Formal Proof at the Surface: the {Jape} proof calculator},
 journal      = {The Computer Journal},
 volume       = {42},
 number       = {3},
 pages        = {177-- 192},
 doi          = {10.1093/comjnl/42.3.177},
)
@article(JFR4568,
 author       = {Bruno Buchberger and Tudor Jebelean and Temur Kutsia and Alexander Maletzky and Wolfgang Windsteiger},
 year         = {2016},
 title        = {Theorema 2.0: Computer-Assisted Natural-Style Mathematics},
 journal      = {Journal of Formalized Reasoning},
 volume       = {9},
 number       = {1},
 pages        = {149--185},
 doi          = {10.6092/issn.1972-5787/4568},
 url          = {https://jfr.unibo.it/article/view/4568},
)
@article(cervone2012mathjax,
 author       = {Davide Cervone},
 year         = {2012},
 title        = {MathJax: a platform for mathematics on the Web},
 journal      = {Notices of the AMS},
 volume       = {59},
 number       = {2},
 pages        = {312--316},
 doi          = {10.1090/noti794},
)
@techreport(doeraene2013scala,
 author       = {S{\'e}bastien Doeraene},
 year         = {2013},
 title        = {Scala.js: Type-directed interoperability with dynamically typed languages},
 type         = {Technical Report},
)
@techreport(Grundy1996,
 author       = {Jim Grundy},
 year         = {1996},
 title        = {A Browsable Format for Proof Presentation},
 type         = {Technical Report},
 number       = {22},
 institution  = {Turku Centre for Computer Science},
)
@inproceedings(Kaliszyk2007,
 author       = {Cezary Kaliszyk},
 year         = {2007},
 title        = {Web Interfaces for Proof Assistants},
 editor       = {Serge Autexier and Chris Benzm\"uller},
 booktitle    = {Proc. User Interfaces for Theorem Provers {(UITP'06)}},
 series       = {Electronic Notes in Theoretical Computer Science (ENTCS)},
 volume       = {174},
 pages        = {49-- 61},
 doi          = {10.1016/j.entcs.2006.09.021},
)
@inproceedings(lueth2013,
 author       = {Christoph L{\"u}th and Martin Ring},
 year         = {2013},
 title        = {A Web Interface for Isabelle: The Next Generation},
 booktitle    = {Intelligent Computer Mathematics},
 publisher    = {Springer},
 pages        = {326--329},
 doi          = {10.1007/978-3-642-39320-4{\_}22},
)
@inproceedings(miller2013instant,
 author       = {Heather Miller and Philipp Haller and Eugene Burmako and Martin Odersky},
 year         = {2013},
 title        = {Instant pickles: Generating object-oriented pickler combinators for fast and extensible serialization},
 booktitle    = {ACM Sigplan Notices},
 volume       = {48},
 organization = {ACM},
 pages        = {183--202},
 doi          = {10.1145/2509136.2509547},
)
@article(Narboux2007,
 author       = {Julien Narboux},
 year         = {2007},
 title        = {A Graphical User Interface for Formal Proofs in Geometry},
 journal      = {Journal of Automated Reasoning},
 volume       = {39},
 number       = {2},
 pages        = {161--180},
 doi          = {10.1007/s10817-007-9071-4},
)
@inproceedings(ring2014collaborative,
 author       = {Martin Ring and Christoph L{\"u}th},
 year         = {2014},
 title        = {Collaborative interactive theorem proving with Clide},
 booktitle    = {Interactive Theorem Proving},
 publisher    = {Springer},
 pages        = {467--482},
 doi          = {10.1007/978-3-319-08970-6{\_}30},
)
@book(roestenburg2015akka,
 author       = {Raymond Roestenburg and Rob Bakker and Rob Williams},
 year         = {2015},
 title        = {Akka in action},
 publisher    = {Manning Publications Co.},
)
@article(LouiLoui,
 author       = {J{\"o}rg Siekmann and Stephan Hess and Christoph Benzm{\"u}ller and Lassaad Cheikhrouhou and Armin Fiedler and Helmut Horacek and Michael Kohlhase and Karsten Konrad and Andreas Meier and Erica Melis and Martin Pollet and Volker Sorge},
 year         = {1999},
 title        = {{LOUI}: Lovely {OMEGA} User Interface},
 journal      = {Formal Aspects of Computing},
 volume       = {11},
 number       = {3},
 pages        = {326--342},
 doi          = {10.1007/s001650050053},
 url          = {http://christoph-benzmueller.de/papers/J2.pdf},
)
@inproceedings(tankink2014pide,
 author       = {Carst Tankink},
 year         = {2014},
 title        = {PIDE for Asynchronous Interaction with Coq},
 booktitle    = {{\rm Proceedings Eleventh Workshop on} User Interfaces for Theorem Provers, {\rm Vienna, Austria, 17th July 2014}},
 series       = {EPTCS},
 volume       = {167},
 pages        = {73--83},
 doi          = {10.4204/EPTCS.167.9},
)
@inproceedings(wenzel2014system,
 author       = {Makarius Wenzel},
 year         = {2014},
 title        = {System description: Isabelle/jEdit in 2014},
 booktitle    = {{\rm Proceedings Eleventh Workshop on} User Interfaces for Theorem Provers, {\rm Vienna, Austria, 17th July 2014}},
 series       = {EPTCS},
 volume       = {167},
 pages        = {84--94},
 doi          = {10.4204/EPTCS.167.10},
)
@inproceedings(wilson2005combining,
 author       = {Sean Wilson and Jacques D Fleuriot},
 year         = {2005},
 title        = {Combining dynamic geometry, automated geometry theorem proving and diagrammatic proofs},
 booktitle    = {Workshop on User Interfaces for Theorem Provers (UITP)},
 url          = {https://www.inf.ed.ac.uk/publications/online/0242.pdf},
)
@article(Ye2010,
 author       = {Zheng Ye and Shang-Ching Chou and Xiao-Shan Gao},
 year         = {2010},
 title        = {Visually Dynamic Presentation of Proofs in Plane Geometry},
 journal      = {Journal of Automated Reasoning},
 volume       = {45},
 number       = {3},
 pages        = {213--241},
 doi          = {10.1007/s10817-009-9162-5},
)