TY  - BOOK
AU  - Cornelis A Middleburg
TI  - Logic and specification
SN  - 0-412-48680-6
U1  - 004.43 
PY  - 1993///
CY  - 
PB  - Chapman & Hall
ER  -