Vvedenije v dinamičeskuju teoriju konečnych avtomatov - Levin, Vitalij Il'jič (Zinatne, 1975)