Specification for Design Sample Contracts