Author: BCS-FACS Northern Formal Methods Workshop (2nd 1997 Ilkley, England)