Author: IFIP TC10 WG10.5 International Conference on Correct Hardware and Verification Methods. (9th 1997 Montréal, Canada).