Formal VLSI specification and synthesis : VLSI design methods. 1 - Claesen, Luc J.M (North Holland, 1990)