Kozen, Dexter C. Automata and computability - New York Springer 1997 - 6 p. ISBN: 9781461218449 Subjects--Topical Terms: COMPUTABLE FUNCTIONSSOIL CONTENT ANALYSISMACHINE THEORY