The way of z practical programming with formal methods - Jonathan Jacky (Cambridge University Press, 1997)