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