ROGER DUKE is Lecturer in the Software Verification Research Centre at the University of Queensland, Australia.