@inproceedings(Aspinall-et-al:2007,
 author       = {David Aspinall and Christoph L\"uth and Daniel Winterstein},
 year         = {2007},
 title        = {A Framework for Interactive Proof},
 editor       = {M.~Kauers and Manfred Kerber and Robert Miner and Wolfgang Windsteiger},
 booktitle    = {Towards Mechanized Mathematical Assistants (CALCULEMUS and MKM 2007)},
 series       = {LNAI},
 volume       = {4573},
 publisher    = {Springer},
 doi          = {10.1007/978-3-540-73086-6\_15},
)
@manual(isabelle-hol-spark-manual,
 author       = {Stefan Berghofer},
 year         = {2017},
 title        = {The {HOL-SPARK} Program Verification Environment},
 organization = {Part of Isabelle distribution.},
 note         = {\url{http://isabelle.in.tum.de/website-Isabelle2017/dist/library/HOL/HOL-SPARK-Manual/document.pdf}},
)
@inproceedings(Moura-et-al:2015,
 author       = {Leonardo~Mendon{\c{c}}a de~Moura and Soonho Kong and Jeremy Avigad and Floris van Doorn and Jakob von Raumer},
 year         = {2015},
 title        = {The {Lean} Theorem Prover (System Description)},
 editor       = {Amy~P. Felty and Aart Middeldorp},
 booktitle    = {Automated Deduction - {CADE-25} - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {9195},
 publisher    = {Springer},
 doi          = {10.1007/978-3-319-21401-6\_26},
)
@inproceedings(Tankink:2014:UITP-EPTCS,
 author       = {Carst Tankink},
 year         = {2014},
 title        = {{PIDE} for Asynchronous Interaction with {Coq}},
 editor       = {Christoph Benzm{\"{u}}ller and Bruno~Woltzenlogel Paleo},
 booktitle    = {User Interfaces for Theorem Provers (UITP 2014)},
 series       = {EPTCS},
 volume       = {167},
 doi          = {10.4204/EPTCS.167.9},
)
@inproceedings(Wenzel:2010,
 author       = {Makarius Wenzel},
 year         = {2010},
 title        = {Asynchronous Proof Processing with {Isabelle/Scala} and {Isabelle/jEdit}},
 editor       = {C.~Sacerdoti Coen and D.~Aspinall},
 booktitle    = {User Interfaces for Theorem Provers (UITP 2010)},
 series       = {ENTCS},
 doi          = {10.1016/j.entcs.2012.06.009},
)
@inproceedings(Wenzel:2012:UITP-EPTCS,
 author       = {Makarius Wenzel},
 year         = {2013},
 title        = {{READ-EVAL-PRINT} in Parallel and Asynchronous Proof-checking},
 editor       = {Cezary Kaliszyk and Christoph L{\"u}th},
 booktitle    = {User Interfaces for Theorem Provers (UITP 2012)},
 series       = {EPTCS},
 volume       = {118},
 doi          = {10.4204/EPTCS.118.4},
)
@inproceedings(Wenzel:2014:ITP-PIDE,
 author       = {Makarius Wenzel},
 year         = {2014},
 title        = {Asynchronous User Interaction and Tool Integration in {Isabelle/PIDE}},
 editor       = {Gerwin Klein and Ruben Gamboa},
 booktitle    = {Interactive Theorem Proving --- 5th International Conference, ITP 2014, Vienna, Austria},
 series       = {Lecture Notes in Computer Science},
 volume       = {8558},
 publisher    = {Springer},
 doi          = {10.1007/978-3-319-08970-6\_33},
)
@inproceedings(Wenzel:2014:UITP-EPTCS,
 author       = {Makarius Wenzel},
 year         = {2014},
 title        = {System description: Isabelle/jEdit in 2014},
 editor       = {Christoph Benzm{\"{u}}ller and Bruno~Woltzenlogel Paleo},
 booktitle    = {User Interfaces for Theorem Provers (UITP 2014)},
 series       = {EPTCS},
 volume       = {167},
 doi          = {10.4204/EPTCS.167.10},
)
@manual(isabelle-jedit-manual,
 author       = {Makarius Wenzel},
 year         = {2017},
 title        = {Isabelle/jEdit},
 organization = {Part of Isabelle distribution.},
 note         = {\url{http://isabelle.in.tum.de/website-Isabelle2017/dist/Isabelle2017/doc/jedit.pdf}},
)