Topics Related to Contracts, Design and Reference: