Contracts: Examples & Explanations, Second Edition (Examples & Explanations Series)