School of Computing Science, Newcastle University, 8th Floor, Claremont Tower, Newcastle upon Tyne, NE1 7RU. UK
Michael.Harrison at ncl.ac.uk