Formal verification of hardware design - Yoeli, Michael (Institute of Electrical and Electronics Engineers, 1990)