International Refinement Workshop and Formal Methods Pacific 1998. Proceedings of IRW/FMP'98, 29 September - 2 October 1998, Canberra, Australia
| Who | Jim Grundy, Martin Schwenke, Trevor Vickers (editors) |
|---|---|
| Where | Discrete Mathematics and Theoretical Computer Science, Singapore, 1998. ISBN 981-4021-16-4. Springer-Verlag |
| When | September 1998 |
