C. Lüth and M. Ring, A Web Interface for Isabelle: The Next Generation, 2013.
DOI : 10.1007/978-3-642-39320-4_22

E. Tassi, Designing a state transaction machine for Coq, Proceedings of the 2012 Coq Workshop, 2012.

M. Wenzel, Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit, Electronic Notes in Theoretical Computer Science, vol.285, 2012.
DOI : 10.1016/j.entcs.2012.06.009