Khoussainov, Bakhadyr Automata theory and its applications Bakhadyr Khoussainov and Anil Nerode - , Boston Birkhauser 2001 ISBN: 120000386727 Subjects--Topical Terms: Symbolic logic Dewey Class. No.: 005.131 / KHO-A