Specifying Software by R. D. Tennent, Paperback | Indigo Chapters