@book{5493, author = {Stavridou, V.}, title = {Formal methods in circuit design /}, publisher = {Cambridge University, }, year = {1993.}, series = {Cambridge tracts in theoretical computer science ; }, address = {Cambridge : } }