Contracts, Specificatins And Engineering by Linda T. Mead