1. Abrial, J.-R.: The B-book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Lecture Notes in Computer Science;F. Ambert,2002
3. Lecture Notes in Computer Science;F. Bouquet,2005
4. Lecture Notes in Computer Science;F. Bouquet,2005
5. Cheon, Y., Leavens, G.T.: A Runtime Assertion Checker for the Java Modeling Language (JML). In: Arabnia, H.R., Mun, Y. (eds.) Proceedings of the International Conference on Software Engineering Research and Practice (SERP 2002), Las Vegas, Nevada, USA, June 24-27, pp. 322–328. CSREA Press (2002)