"Topics in the theory of computation: selected papers of the International Conference on ''Foundations of Computation Theory'', FCT '83, Borgholm, Sweden, August 21-27, 1983''" - читать интересную книгу автора (Marek Karpinski, J. Van Leeuwen)