Author: Advanced Research Workshop on Correct Hardware Design Methodologies (1991 Turin, Italy)