Algorithms: the construction proof and analysis of programms - Berlioux Pierre; Bizzard Philippe (Chichester John Wiley, 1986)
Keywords: Computer programming language; Computer science