Formal specifications

Due November 5

Each group must post to their web site: