Tennent, R D Specifying software: a hands on introduction - Cambridge 2002 - 289 ISBN: 0-521-00401-2 Standard No.: 112027 Subjects--Index Terms: Computer software Dewey Class. No.: 005.1 / TEN