Specifying Spring '84

A follow-up to my Spring '83 implementation: specifying a small successor protocol for expressive, self-certifying web boards.