Fundamentals of computation theory : proceedings - Budach, L. (Lothar), 1935-; Bukharaev, Rais Gatich; Lupanov, O. B. (Lecture notes in computer science, 1987)