Formal methods in circuit desing - Stavridou, V. ((Cambridge tracts in theoretical computer science, 1993)