Symposium on Mathematical Foundations of Computer Science (12th 1986 Bratislava, Czechoslovakia) — Author | Lex | Lex