MLP string-functional semantics and Boyer-Moore mechanization for the formal verification of synchronous circuits - Bronstein, Alexandre (1989)
Stanford, Calif., Univ., Diss.