Symposium on Mathematical Foundations of Computer Science (Poland) (3rd 1980 Zaborów)