International Refinement Workshop & Formal Methods Pacific *98