Author: Ottawa Verification Symposium (15th 1998 Montebello, Quebec)