Ziliani, Beta Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;
http://scidok.sulb.uni-saarland.de/volltexte/2015/6041/ (全文テキスト(全般))
http://scidok.sulb.uni-saarland.de/doku/lic_ohne_pod.php?la=de (著作権譲渡合意書)
Ziliani, B. (2015). Interactive Typed Tactic Programming in the Coq Proof Assistant. PhD Thesis, Universität des Saarlandes, Saarbrücken.