I am looking to utilize larch to develop program specifications in an object-oriented methodology. For example, by following a Booch method et al, one could be looking to develop the traits, sorts etc at the same time. Any information in this area would be appreciated. Thanks. Steve Zevan zevans@cs.uofs.edu