Author: International Conference on Correct Hardware and Verification Methods (1997 Montréal, Québec)