The design and analysis of algorithms : texts and monographs in computer science - Kozen, D (Springer: Tokyo, 1991)
Keywords: algorithms