TY  - BOOK
AU  - Berlioux, Pierre
AU  - Bizard, Philipe
TI  - Algorithms : the construction, proof, and analysis of programs
SN  - 0471908444
CY  - New York
N1  - D6,8(B) M636
ER  -