1. Ahrendt, W., Baar, T., Beckert, B., Bubel, R., Giese, M., Hähnle, R., Menzel, W., Mostowski, W., Roth, A., Schlager, S., Schmitt, P.H.: The KeY tool. Software and System Modeling 4, 32–54 (2005)
2. Lecture Notes in Computer Science;B. Beckert,2001
3. Beckert, B., Giese, M., Habermalz, E., Hähnle, R., Roth, A., Rümmer, P., Schlager, S.: Taclets: A new paradigm for constructing interactive theorem provers. Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales, Serie A: Matemáticas (RACSAM) 98(1) (2004) Special Issue on Symbolic Computation in Logic and Artificial Intelligence.
4. Bubel, R., Roth, A., Rümmer, P.: Ensuring correctness of lightweight tactics for Java Card Dynamic Logic. In: Proceedings of Workshop on Logical Frameworks and Meta-Languages (LFM) at Second International Joint Conference on Automated Reasoning 2004, pp. 84–105 (2004)
5. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: Maude Manual (April 2005), Available from,
http://maude.cs.uiuc.edu