@misc(Tassi-2012,
 author       = "Bruno Barras and Enrico Tassi",
 year         = "2012",
 title        = "Designing a State Transaction Machine for {Coq}",
 howpublished = "Extended abstract",
 url          = "https://www.lri.fr/~wolff/projects/ANR-Paral-ITP/papers/files/coq-workshop-paper.pdf",
)
@article(Makarius-2013,
 author       = "Makarius Wenzel",
 year         = "2013",
 title        = "PIDE as front-end technology for Coq",
 journal      = "CoRR",
 volume       = "abs/1304.6626",
 url          = "http://arxiv.org/abs/1304.6626",
)
@inproceedings(Makarius-2014,
 author       = "Makarius Wenzel",
 year         = "2014",
 title        = "Asynchronous User Interaction and Tool Integration in {Isabelle/PIDE}",
 editor       = "G.~Klein and R.~Gamboa",
 booktitle    = "Interactive Theorem Proving (ITP 2014)",
 series       = "LNCS",
 publisher    = "Springer",
 doi          = "10.1007/978-3-319-08970-6\_33",
)