The KeY Approach: Integrating Object Oriented Design and Formal Verification. - Wolfgang Ahrendt; Thomas Baar; Bernhard Beckert; Martin Giese; Elmar Habermalz; Reiner Hähnle; Wolfram Menzel; Peter H. Schmitt (JELIA, 2000)

Ein dynamisches automatisierbares interaktives Kalkül für schematische theoriespezifische Regeln. - Elmar Habermalz (Shaker, 2001)

The KeY System: Integrating Object-Oriented Design and Formal Methods. - Wolfgang Ahrendt; Thomas Baar; Bernhard Beckert; Martin Giese; Elmar Habermalz; Reiner Hähnle; Wolfram Menzel; Wojciech Mostowski; Peter H. Schmitt (FASE, 2002)