"Mathematical Foundations of Computer Science 2000, 25 conf., MFCS 2000" - читать интересную книгу автора (Mogens Nielsen, Branislav Rovan)