Symposium on Mathematical Foundations of Computer Science (12th 1986 Bratislava, Czechoslovakia) | lit.salon