A Web Interface for Isabelle: The Next Generation, 2013. ,
DOI : 10.1007/978-3-642-39320-4_22
Designing a state transaction machine for Coq, Proceedings of the 2012 Coq Workshop, 2012. ,
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