Author: Symposium on Mathematical Foundations of ComputerScience (9th 1980 Rydzyna)