TY  - BOOK
AU  - Berloux Pierre
AU  -  Bizard Philippe
TI  - Algorithms : The construction, proofs and analysis of programs
U1  - D65,8(B)92, M6;2 
PY  - 1986///
KW  - Computer science
ER  -