TY  - BOOK
AU  - Warnier
TI  - Logical construction of programs
U1  - 001.642WAR 
PY  - 1974///
CY  - H E
PB  - Stenfer
ER  -