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 (2004) (to appear in print); Online First issue, http://www.key-project.org/
2. Andronick, J., Chetali, B., Ly, O.: Formal Verification of the Integrity Property in Java Card Technology. In: International Conference on Research in Smart Cards (Esmart 2003) (September 2003)
3. Lecture Notes in Computer Science;J. Andronick,2003
4. The Bali project, http://isabelle.in.tum.de/bali/
5. Electronic Notes in Theoretical Computer Science;D. Bartetzko,2001