@article{KeY2005,
author = {Wolfgang Ahrendt and Thomas Baar and
Bernhard Beckert and Richard Bubel and
Martin Giese and Reiner H\"ahnle and
Wolfram Menzel and Wojciech Mostowski and
Andreas Roth and Steffen Schlager and
Peter H. Schmitt},
title = {The {\KeY} Tool},
journal = {Software and System Modeling},
volume = {4},
number = {1},
pages = {32--54},
year = {2005},
publisher = {Springer}
}