TY  - BOOK
AU  - Warnier,Jean Dominique
TI  - Logical construction of programs
SN  - 0442291930
U1  - 005.24 
PY  - 1976///] c1974
CY  - New York
PB  - Van Nostrand Reinhold Co.
KW  - Computer programming
KW  - MCE
N1  - "Published under the auspices of the IBI-ICC."; Includes index; Translation of Les procédures de traitement et leurs données; 0; 0; 0; 005_240000000000000_WAR
ER  -