Issledovanie po teorii složnosti vyčislenij i formal'nym jazikam - Baraško, Anatolij Sergeevič ("Naukova Dumka", 1978)