Assignment 4

Assignment spec

SpecChecker

Javadoc

Sample code