Software specification methods (ISTE Ltd, 2006)
Includes bibliographical references and index