Engineering Contracts and Specifications by J B Johnson