Formal methods in circuit design - Stavridou, V. (Cambridge, 1993)