Author: Ont.) Workshop on Validated Computing (2002 Toronto