Berlioux, Pierre. Algorithms : the construction, proof, and analysis of programs / Pierre Berlioux and Philippe Bizard ; translated by Annwyl Williams. - Chichester : John Wiley, c1986 [reprinted 1987] - viii, 145 p. : ISBN: 0471908444 Subjects--Topical Terms: Computer programming. Dewey Class. No.: 005.1 / Al