"Mathematical Foundations of Computer Science 1994 19 conf., MFCS'94" - читать интересную книгу автора (Igor Privara, Branislav Rovan, Peter Ruzicka)