Formal specifications

Due May 10

Each group must post to their web site: