TY  - BOOK
AU  - Berlioux, Pierre
AU  - Bizard, Philipe.
TI  - Algorithms:The construction, proof, and analysis of programs
SN  - 0471908444
U1  - 005.1 
PY  - 1986///
CY  - Chichester
PB  - John wiley and sons
ER  -