Relational Contracts And Specifications