Author: Advanced Research Working Conference on Correct Hardware Design Methodologies (1993 Arles, France)