- Igor Prívara, Branislav Rovan, Peter Ruzicka, editors, Mathematical Foundations of Computer Science 1994, 19th International Symposium, MFCS 94, Kosice, Slovakia, August 22 - 26, 1994, Proceedings. Volume 841 of Lecture Notes in Computer Science, Springer, 1994.