Author: Advanced Research Working Conference on Correct Hardware Design Methodologies (1995 Frankfurt/Main, Germany)