Makarius Wenzel (2013):
PIDE as front-end technology for Coq.
CoRR abs/1304.6626.
Available at http://arxiv.org/abs/1304.6626.
Makarius Wenzel (2014):
Asynchronous User Interaction and Tool Integration in Isabelle/PIDE.
In: G. Klein & R. Gamboa: Interactive Theorem Proving (ITP 2014),
LNCS.
Springer,
doi:10.1007/978-3-319-08970-6_33.