Extraction de programmes optimisés à partir de preuves (non-constructives) par l'interprétation
Dialectia (monotone) légère / par Mircéa Dan Hernest ; sous la direction de Jean-Pierre
Jouannaud et de Helmut Schwichrenberg. Thèse, Palaiseau (Essonne), 2006
Logic and algebra of specification / ed. by Friedrich L. Bauer, Wilfried Brauer, Helmut
Schwichtenberg, 1993