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