The design and analysis of algorithms (1991)

by D Kozen
Venue:Lecture Notes in Computer Science