Books by Advanced Research Workshop on Correct Hardware Design Methodologies (1991 Turin, Italy) on BookTides.