@book{18144,
	author = {Starke P.H.},
	title = {Abstract automata},
	publisher = {North Holland      },
	year = {1972},
	address = {Amsterdam}
}