TY - BOOK AU - Berlioux, Pierre TI - Algorithms: the construction, proof, and analysis of programs SN - 0 471 90844 4 U1 - 004.421 PY - 1987/// CY - New York PB - John-Wiley & Sons ER -