TY  - BOOK
AU  - Pierrie Berlioux, Philippe Bizard
TI  - Algorithms :The Construction ,Proof And Analysis Of Programs
SN  - 0-471-90844-4
U1  - 004.421 
PY  - 1987///
CY  - 
PB  - John Wiley and Sons
ER  -