Formal methods for open object-based distributed systems : IFIP TC6 WG6.1 INTERNATIONAL WORKSHOP FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS (FMOODS '97), 21-23 JULY 1997, CANTERBURY, KENT, UK. VOL.2 - Bowman, Howard (Chapman & Hall Ltd, London, 1997)