1. Dafny Website. research.microsoft.com/dafny
2. The Tacny project: FM 2016 information. https://sites.google.com/site/tacnyproject/fm-2016 . Accessed 29 May 2016
3. Lecture Notes in Computer Science;S Autexier,2010
4. Lecture Notes in Computer Science;M Barnett,2006
5. Bundy, A.: A science of reasoning. In: Lassez, J.L., Plotkin, G. (eds.) Computational Logic - Essays in Honor of Alan Robinson, pp. 178–198. MIT Press, Cambridge (1991)