What are contract specifications?