Bob Tennent School of Computing Queen's University Kingston, Canada rdt@cs.queensu.ca