Lothar Budach Rais Gatic Bakharajev Oleg Borisovic Lipanov Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings FCT Lecture Notes in Computer Science 278 Springer 1987 3-540-18740-5 db/conf/fct/fct87.html