K
[Koz92] Dexter C. Kozen. The design and analysis of algorithms. Springer-Verlag, 1992. 
@book{Koz92-daa,
  author =              {Kozen, Dexter C.},
  title =               {The design and analysis of algorithms},
  publisher =           {Springer-Verlag},
  year =                {1992},
  doi =                 {10.1007/978-1-4612-4400-4},
}
List of authors