Lothar Budach Fundamentals of Computation Theory, 8th International Symposium, FCT '91, Gosen, Germany, September 9-13, 1991, Proceedings FCT Lecture Notes in Computer Science 529 Springer 1991 3-540-54458-5 db/conf/fct/fct91.html