Jim Grundy

International Refinement Workshop and Formal Methods Pacific '98: Proceedings of IRW/FMP '98 29 September - 2 October 1998, Canberra, Australia (Discrete Mathematics and Theoretical Computer Science)