Tennet, R. D.. , Specifying software : a hands-on introduction / R.D. Tennent. - viii,289p. : illustrations ; 24 cm. ISBN: 0521808146 Subjects--Topical Terms: Computer programming.Computer software --Specifications. LC Class. No.: QA76.6 / .T46 2002