Formal methods for VLSI design - Staunstrup, Jorgen (North-Holland, 1990)