Contracts, Specifications and Engineering Relations by Daniel Webster Mead