00225nam a2200097Ia 4500008004100000041000800041082001700049100001100066245004200077300000800119211209s9999    xx            000 0 und d  aeng  a629.89 N KOH  aKOHAVI  aSWITCHING AND FINITE AUTOMATA THEORY   a651