International Refinement Workshop and Formal Methods Pacific 1998. Proceedings of IRW/FMP'98, 29 September - 2 October 1998, Canberra, Australia

WhoJim Grundy, Martin Schwenke, Trevor Vickers (editors)
WhereDiscrete Mathematics and Theoretical Computer Science, Singapore, 1998. ISBN 981-4021-16-4. Springer-Verlag
WhenSeptember 1998