Specifying software a hands-on introduction - Tennent, R. D. 1944- (Cambridge University Press, 2002)
Title from publisher's bibliographic system (viewed on 05 Oct 2015)