Reliable Computer Systems Reliable Computer Systems
1998
Automating the Design of Computer Systems Automating the Design of Computer Systems
1992