ISBN-13: 9780521808149, 978-0521808149. Specifying Software A Hands-On Introduction. It is primarily intended for use as a text book for a course in the 2nd or 3rd year of Computer Science and Computer Engineering programs, but it is also suitable for self-study.
eBay