Formal methods for the verification of digital circuits by C.A.J. van Eijk