International Refinement Workshop and Formal Methods Pacific 1998. Work-in-progress papers of IRW/FMP’98, 29 September – 2 October 1998, Canberra, Australia

WhoJim Grundy, Martin Schwenke, Trevor Vickers (editors)
WhereJoint Computer Science Technical Report TR-CS-98-09. The Australian National University, Department of Computer Science, Canberra ACT 0200, Australia. September 1998. ISBN 0-7315-4801-9
WhenSeptember 1998