Berlioux, Pierre <br/><br/>
Algorithms:  the construction, proof, and analysis of programs/ 
Pierre Berlioux; Philippe Bizard 
 - New York:  John-Wiley & Sons  1987 
 - ix, 144p.; 
<br/><br/><label>ISBN: </label>0 471 90844 4 
<br/><br/><label>Dewey Class. No.: </label>004.421  / BER