TY - BOOK AU - Salomaa Arto TI - Theory of automate PY - 1969/// PB - Pergamon ER -