Formal methods for VLSI design IFIP WG 10.5 lecture notes (North-Holland, 1990)