Author: Symposium on Mathematical Foundations of Computer Science (7th 1978 Zakopane)