Books by Ottawa Verification Symposium (13th 1996 Montebello, Quebec)