Algorithms : THE CONSTRUCTION, PROOF, AND ANALYSIS OF PROGRAMS - Berlioux, Pierre (John Wiley & Sons, Inc, 1986)