1. Ahrendt W., Baar T., Beckert B., Bubel R., Giese M., Hahnle R., Menzel W., Mostowski W., Roth A., Schlager S., Schmitt P.H.: The key tool. Softw. Syst. Model. 4(1), 32–54 (2005)
2. Al Sammane, G., Schmaltz, J., Toma, D., Ostier, P., Borrione, D.: TheoSim: combining symbolic simulation and theorem proving for hardware verification. In: SBCCI ’04: Proceedings of the 17th Symposium on Integrated Circuits and System Design, pp. 60–65. ACM, New York, NY, USA (2004)
3. Barthe G., Dufay G., Jakubiec L., Serpette B.P., de Sousa S.M.: A formal executable semantics of the JavaCard platform. In: Sands, D. (eds) Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001 Genova, Italy, 2–6 April. Lecture Notes in Computer Science, vol. 2028., pp. 302–319. Springer, London (2001)
4. Berghofer, S., Nipkow, T.: Executing higher order logic. In: TYPES ’00: Selected Papers from the International Workshop on Types for Proofs and Programs, pp. 24–40. Springer, London, UK (2002)
5. Brucker A.D., Wolff B.: An extensible encoding of object-oriented data models in HOL. J. Autom. Reason. 41(3–4), 219–249 (2008)