Mathematical foundations of computer science 1994 19th international symposium, MFCS '94, Kosice, Slovakia, August 22-26, 1994 proceedings - Privara, Igor; Rovan, Branislav (Lecture notes in computer science, 1994)