Gaspar, Jaime :
Proof interpretations: theoretical and practical aspects.
Technische Universit├Ąt, Darmstadt
[Ph.D. Thesis], (2011)