Monitoring distributed OCCAM programs. - A. J. West (1987)