"Mathematical Foundations of Computer Science 1991 16 conf., MFCS'91" - читать интересную книгу автора (Andrzej Tarlecki)