Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt. The KeY tool. Software and Systems Modeling, 4(1):32-54, 2005. [doi]
Abstract is missing.