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