Symposium on Mathematical Foundations of Computer Science (14th 1989 Porabka-Kozubnik, Poland)