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