TY  - BOOK
AU  - Warnier
TI  - Logical Construction Of Systems
SN  - 0442225563
U1  - 001.64/WAR 
PY  - 1981///
ER  -