Specifying software : a hands-on introduction - Tennent, R. D. (Cambridge University Press, 2002)