Mathematical foundations of computer science - Blikle, A. (Springer-Verlag, 1975)
3rd symposium at Jadwisin near Warsaw, June 17-22, 1974