A functional approach to formal hardware verification: the MTI experience. - Dominique Borrione; Paolo Camurati; J. L. Paillet; Paolo Prinetto (ICCD, 1988)