Formal VLSI correctness verification : VLSI design methods. 2 - Claesen, Luc J.M. (Amsterdam ; New York ; Oxford : North Holland, 1990)