Formal methods in circuit design - Σταυρίδου Βικτωρία (Cambridge University Press, 1993)