Author: International Refinement Workshop and Formal Methods Pacific 1998 (1998 Canberra, Australia)