David Aspinall, Stephen Gilmore, Donald Sannella and Ian Stark
Laboratory for Foundations of Computer Science, School of Informatics, The University of Edinburgh, Edinburgh EH9 3JZ, Scotland. Email: {da, stg, dts, stark}@inf.ed.ac.uk
Draft of 17 April 2003: Comments welcome