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