@article(Asperti-et-al:2007,
 author       = "Andrea Asperti and Claudio Sacerdoti Coen and Enrico Tassi and Stefano Zacchiroli",
 year         = "2007",
 title        = "User Interaction with the {Matita} Proof Assistant",
 journal      = "Journal of Automated Reasoning",
 volume       = "39",
 number       = "2",
 doi          = "10.1007/s10817-007-9070-5",
)
@inproceedings(Aspinall:TACAS:2000,
 author       = "David Aspinall",
 year         = "2000",
 title        = "{Proof General}: A Generic Tool for Proof Development",
 editor       = "Susanne Graf and Michael Schwartzbach",
 booktitle    = "European Joint Conferences on Theory and Practice of Software (ETAPS)",
 series       = "LNCS",
 volume       = "1785",
 publisher    = "Springer",
 doi          = "10.1007/3-540-46419-0\_3",
)
@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",
)
@inproceedings(CICM:2013:Paral-ITP,
 author       = "Bruno Barras and Hugo Herbelin and Lourdes del Carmen Gonz\'alez Huesca and Yann R\'egis-Gianas and Enrico Tassi and Makarius Wenzel and Burkhart Wolff",
 year         = "2013",
 title        = "Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems",
 editor       = "Jacques Carette and David Aspinall and Christoph Lange and Petr Sojka and Wolfgang Windsteiger",
 booktitle    = "Conference on Intelligent Computer Mathematics (CICM 2013)",
 series       = "LNAI",
 volume       = "7961",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-39320-4\_29",
)
@article(Bertot-Thery:1998,
 author       = "Yves Bertot and Laurent Th\'ery",
 year         = "1998",
 title        = "A generic approach to building user interfaces for theorem provers",
 journal      = "Journal of Symbolic Computation",
 volume       = "25",
 number       = "7",
 doi          = "10.1006/jsco.1997.0171",
)
@inproceedings(Matthews-Wenzel:2010,
 author       = "David C. J. Matthews and Makarius Wenzel",
 year         = "2010",
 title        = "Efficient Parallel Programming in {Poly/ML} and {Isabelle/ML}",
 booktitle    = "ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming (DAMP 2010), co-located with POPL",
 publisher    = "ACM Press",
 doi          = "10.1145/1708046.1708058",
)
@techreport(Scala:2004,
 author       = "M. Odersky",
 year         = "2004",
 title        = "An Overview of the {Scala} Programming Language",
 type         = "Technical Report",
 number       = "IC/2004/64",
 institution  = "EPF Lausanne",
)
@inproceedings(Tassi-Barras:2012,
 author       = "Enrico Tassi and Bruno Barras",
 year         = "2012",
 title        = "Designing a state transaction machine for Coq",
 booktitle    = "The Coq Workshop 2012 (co-located with ITP 2012)",
)
@inproceedings(Wenzel:2011:CICM,
 author       = "M. Wenzel",
 year         = "2011",
 title        = "Isabelle as Document-oriented Proof Assistant",
 editor       = "J. H. Davenport and W. M. Farmer and F. Rabe and J. Urban",
 booktitle    = "Conference on Intelligent Computer Mathematics / Mathematical Knowledge Management (CICM/MKM 2011)",
 series       = "LNAI",
 volume       = "6824",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-22673-1\_17",
)
@inproceedings(Wenzel-Paulson-Nipkow:2008,
 author       = "M. Wenzel and L.C. Paulson and T. Nipkow",
 year         = "2008",
 title        = "The {Isabelle} Framework",
 booktitle    = "Theorem Proving in Higher Order Logics (TPHOLs 2008)",
 series       = "LNCS",
 publisher    = "Springer",
 doi          = "10.1007/978-3-540-71067-7\_7",
)
@inproceedings(Wenzel:2009,
 author       = "Makarius Wenzel",
 year         = "2009",
 title        = "Parallel Proof Checking in {Isabelle/Isar}",
 editor       = "G. Dos Reis and L. Th\'ery",
 booktitle    = "ACM SIGSAM 2009 International Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS)",
 publisher    = "ACM Digital library",
)
@inproceedings(Wenzel:2010,
 author       = "Makarius Wenzel",
 year         = "2010",
 title        = "Asynchronous Proof Processing with {Isabelle/Scala} and {Isabelle/jEdit}",
 editor       = "Claudio Sacerdoti Coen and David Aspinall",
 booktitle    = "User Interfaces for Theorem Provers (UITP 2010)",
 series       = "ENTCS",
 doi          = "10.1016/j.entcs.2012.06.009",
 note         = "FLOC 2010 Satellite Workshop",
)
@inproceedings(Wenzel:2012:CICM,
 author       = "Makarius Wenzel",
 year         = "2012",
 title        = "{Isabelle/jEdit} --- a {Prover IDE} within the {PIDE} framework",
 editor       = "J. Jeuring",
 booktitle    = "Conference on Intelligent Computer Mathematics (CICM 2012)",
 series       = "LNAI",
 volume       = "7362",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-31374-5\_38",
)
@inproceedings(Wenzel:2013:ITP,
 author       = "Makarius Wenzel",
 year         = "2013",
 title        = "Shared-Memory Multiprocessing for Interactive Theorem Proving",
 editor       = "Sandrine Blazy and Christine Paulin-Mohring and David Pichardie",
 booktitle    = "Interactive Theorem Proving (ITP 2013)",
 series       = "LNCS",
 volume       = "7998",
 publisher    = "Springer",
)
@book(Wiedijk:2006,
 editor       = "Freek Wiedijk",
 year         = "2006",
 title        = "The Seventeen Provers of the World",
 series       = "LNAI",
 volume       = "3600",
 publisher    = "Springer",
 doi          = "10.1007/11542384\_1",
)