1
by Kozen, Dexter C.
Published 1992
Springer New York
...Monographs in Computer Science...