TY  - BOOK
AU  - Warnier
TI  - Logical Construction Of Systems
SN  - 0442225563
U1  - 001.64 
ER  -