Author: Ottawa Verification Symposium (15th 1998 Montebello, Québec)