Author: Imperial College Department of Computing Workshop on Theory and Formal Methods (1st 1993 Chelwood Gate, England)