International Symposium on Mathematical Foundations of Computer Science Bratislava, Aug. 25 - 29, 1986 (North-Holland, 1988)