TY  - BOOK
AU  - Berlioux, Pierre Bizard, Philippe
TI  - Algorithms: the construction, proof and analysis of programs
U1  - 621.381952 
PY  - 1986///
KW  - Electronic digital computers-programming
KW  - Algorithms
ER  -