Formal methods in circuit design /
Stavridou, Victoria.
Cambridge : Cambridge University Press,
1993.