VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien. - Markus Ullmann; H. Hauff; D. Loevenich; P. Kejwal; R. Förster; P. Baur; Wolfgang Reif; Werner Stephan 001; Andreas Wolpers; Jürgen Cleve; Dieter Hutter; Claus Sengler; et al. (VIS, 1993)

INKA: The Next Generation. - Dieter Hutter; Claus Sengler (CADE, 1996)

Termination of Algorithms over Non-freely Generated Data Types. - Claus Sengler (CADE, 1996)

Deduction in the Verification Support Environment (VSE). - Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg H. Siekmann; Werner Stephan 001; Andreas Wolpers (FME, 1996)

Induction on non-freely generated data types. - Claus Sengler (Infix, 1997)