Foundations of computation theory : proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983 / edited by Marek Karpinski ; [organized by the Department of Computer and Information Science, Linköping University and Institute of Technology ; with the cooperation of the Departments of Computer Science and Mathematics, University of Bonn ; co-sponsors, ASEA and others].