Specify Software A hands On Introduction - R D Tennent (Cambridge Cambridge University Press, 2002)