TY  - GEN
AU  - Staunstrup, Jorgen
TI  - A formal approach to hardware design  
SN  - 0-7923-9427-5
PY  - 1994///
CY  - Boston
PB  - Kluwer Academic
KW  - COMPUTER HARDWARE-DESIGN
ER  -