TY  - BOOK
AU  - Berlioux Pierrer
AU  -  Bizard Philippe
TI  - Algorithms : The construction proof and analysis of programs
U1  - D65,8(B)92, M6-;1 
PY  - 1986///
CY  - Chichester
PB  - John Wiley        
KW  - Computer science
ER  -