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