TY - BOOK AU - Tennent, R. D. TI - Specifying software: a hands-on introduction SN - 0521004012 U1 - 001.642 PY - 2002/// CY - Cambridge PB - Cambridge University Press KW - Computer programming KW - Computer software--Specification N1 - Includes index ER -