1. Adams, M.: The common HOL platform. In: Kaliszyk, C., Paskevich, A., (eds.) Fourth International Workshop on Proof Exchange for Theorem Proving, PxTP 2015, Berlin, Germany, 2–3 August 2015. to appear in EPTCS (2015)
2. Asperti, A., Ricciotti, W., Coen, C.S.: Matita tutorial. J. Formaliz. Reason. 7(2), 91–199 (2014)
3. Lecture Notes in Computer Science;S Autexier,2015
4. Lecture Notes in Computer Science;JC Blanchette,2015
5. Bortin, M., Johnsen, E.B., Lüth, C.: Structured formal development in Isabelle. Nordic J. Comput. 13, 1–20 (2006)