Mathematical foundations of computer science : 3rd symposium at jadwisin near Warsaw, june 17 - 22, 1974 - Blikle, A. (rz1, 1975)