Mathematical foundations of computer science : 3RD SYMPOSIUM AT JADWISIN NEAR WARSAW, JUNE 17-22,1974 - Blikle, Andrzej (Springer Verlag, 1975)