1952
5 works on record
Program specification
Hardware/software co-design
Formal methods for VLSI design
A formal approach to hardware design
Self-timed design