Go!'s class notation is based on 'Logic and Objects' [McC92] with some simplifications and modifications to incorporate Go!'s type system and the notion of a stateful object as well as a class. It provides a straightforward technique to ...