Homework #1

  1. Reading Formal Contract Specifications