Symposium on Mathematical Foundations of Computer Science (1972- ) (3rd 1974 Jadwisin, Poland)