Algorithms : The construction, proofs and analysis of programs - Berloux Pierre; Bizard Philippe (1986)
Keywords: Computer science