Jim Grundy, Martin Schwenke and Trevor Vickers, editors.
International Refinement Workshop and Formal Methods
Pacific 1998. Proceedings of IRW/FMP'98, 29 September – 2
October 1998, Canberra, Australia. Discrete Mathematics
and Theoretical Computer Science, Singapore, 1998.
ISBN 981-4021-16-4. Springer-Verlag.
Martin Schwenke and Brendan Mahony. The Essence of
Expression Refinement. In International Refinement
Workshop and Formal Methods Pacific 1998 (proceedings,
see above), pages 324–333.
[more...]
Jim Grundy, Martin Schwenke and Trevor Vickers, editors.
International Refinement Workshop and Formal Methods
Pacific 1998. Work-in-progress papers of IRW/FMP'98, 29
September – 2 October 1998, Canberra, Australia.
Joint 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.
Martin Schwenke. I Went Down To The Crossroads:
Conjoining Catamorphisms. In International
Refinement Workshop and Formal Methods Pacific 1998
(work-in-progress papers, see above), pages 85–96.
[more...]
Ken Robinson, Peter Ho and Martin Schwenke. To Zed and
Back: Integrating Data Flow Diagrams and Z. First
Australian Conference on Computer Science Education, ACM,
University of Sydney, Sydney, Australia, July 3–5, 1996.
