Using CoCheck on a network of workstations - Stellner, Georg 1966- (Institut für Informatik, 1995)