Algorithms : The construction proof and analysis of programs - Berlioux Pierrer; Bizard Philippe (Chichester John Wiley, 1986)
Keywords: Computer science