Foundations of Engineering Contracts