Kozen , Dexter C. Design and analysis of algorithms - New York: Springer, 1992. - x, 320 p. ISBN: 9781461287575 Subjects--Topical Terms: Computer algorithms Dewey Class. No.: 005.1 KOZ