TY  - BOOK
AU  - Warnier Jean Dominique
TI  - Logical constructions of programs
SN  - 0442291930
AV  - QA76.6.W37 1974 
PY  - 1974///
CY  - New York
PB  - Van Nostrand Reinhoid Company
KW  - Electronic digital computer- programming
N1  - includes index
ER  -