Symposium on Mathematical Foundations of Computer Science (12th 1986 Bratislava, Czechoslovakia)