"Mathematical Foundations of Computer Science 1993 18 conf., MFCS'93" - читать интересную книгу автора (Andrzej M. Borzyszkowski, Stefan Sokolowski)