Practical formal software engineering - Mills,Bruce (New York Cambridge University Press, 2009)