Proving Assertions is Also Useful. - Jürgen F. H. Winkler; Stefan Kauer (ACM SIGPLAN Notices, 1997)

Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme. - Stefan Kauer (1999)

Ein Vergleich der Programmbeweiser FPP, NPPV und SPARK. - Carsten Freining; Stefan Kauer; Jürgen F. H. Winkler (Ada Deutschland Tagung, 2002)

Mechanical inference of invariants for FOR-loops. - Stefan Kauer; Jürgen F. H. Winkler (J. Symb. Comput., 2010)