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