KOZEN DEXTER AUTOMATA AND COMPUTABILITY - Springer Verleg 1997 - XIII,4 Subjects--Facted Index Terms: COMPUTER Dewey Class. No.: 511.3 KOZ