Roy L. Russo: Workshop Report: Methods of Verification in Design Automation. Computer 9(4): 54-55 (1976)