4 works on record
Formal methods in circuit design
1993
Mathematics of dependable systems II
Assessment of computer-aided logic design
1983
Mathematics of dependable systems