Correct Hardware Design and Verification Methods: Ifipwg10.2 Advanced Research Working Conference Charme '93, Arles, France, May 24-26, 1993: Procee (Lecture Notes in Computer Science)