1. Lecture Notes in Computer Science;S. Burckhardt,2006
2. Compton, M.: Stenning’s protocol implemented in UDP and verified in Isabelle. In: Atkinson, M.D., Dehne, F.K.H.A. (eds.) CATS. CRPIT, vol. 41, pp. 21–30. Australian Computer Society (2005)
3. Gonthier, G.: A computer-checked proof of the Four Colour Theorem (2005),
http://research.microsoft.com/~gonthier/4colproof.pdf
4. Lecture Notes in Computer Science;G. Gopalakrishnan,2004
5. Holzmann, G.J., Bosnacki, D.: The design of a multi-core extension of the Spin Model Checker. In: FMCAD. Formal Methods in Computer Aided Design (November 2006)