Specifying software : a hands on introduction - Tennent, R D (New Delhi, 2002)
Includes bibliographical references and index
Keywords: Computer programming; Computer software -- Specifications; Software engineering