Marek Karpinski Fundamentals of Computation Theory, Proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983 FCT Lecture Notes in Computer Science 158 Springer 1983 3-540-12689-9 db/conf/fct/fct83.html