Writing correct code, part 3: preconditions and postconditionsreprog.wordpress.com9 pointsMikeTaylor16 years ago