1
by Kozen, Dexter C.
Published 2006
Springer London
Subjects: '; ...Computation by Abstract Devices...