GORDON ROSE is Lecturer in the Software Verification Research Centre at the University of Queensland, Australia.