Bringing theory and reality together through CIM. - Carl W. Steidley; J. Tim Coppinger (J. Comput. Sci. Coll., 2001)