TY  - BOOK
AU  - Milne,George
TI  - Formal specification and verification of digital systems
SN  - 007707811X
AV  - TK7874.65 .M55 1994 
ER  -