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