-L. Budach/R.G. Bukharajev/0.B. Lupanov (Eds.): Fundamentals of Computation Theory, Proceedings 1987, Springer-Verlag 1987