author = { Savitch, Walter J. },

title = { Maze recognizing automata and nondeterministic tape complexity },

publisher = {Elsevier BV},

isbn = {0022-0000},

keywords = { Applied Mathematics , Computational Theory and Mathematics , Computer Networks and Communications , Theoretical Computer Science },

year = {1973},

url = { http://slubdd.de/katalog?TN_libero_mab2 }