Mathematical foundations of computer science 1978 : proceedings 7th Symposium Zakopane, Poland, september 4-8, 1978 - Emde Boas, P. van (rz1, 1978)