Berlioux, Pierre. Algorithms : the construction, proof, and analysis of programs / Pierre Berlioux, Philippe Bizard ; translated by Annwyl Williams. - Chichester [West Sussex] : John Wiley, c1986. - viii, 145 p. : ill. Translation of: Algorithmique. ISBN: 0471908444 (pbk.) : $24.38 Subjects--Topical Terms: Algorithms.Computer programming LC Class. No.: QA76.6 / .B471813 1986 Dewey Class. No.: 005.1�19