P. Dembinski,Mathematical foundations of computer science 1980.Mathematical foundations of computer science 1980:proceedings of the symposium.Springer,1980.
Symposium on Foundations of Computer Science.Symposium on Foundations of Computer Science (25th : 1984):formerly called the annual symposium on switching and automata theory.IEEE,1984.
A. Blikle,Symposium on Mathematical Foundations of Computer Science.Symposium on Mathematical Foundations of Computer Science(3rd : 1974 : Warsaw):Mathematical foundations of computer science.Springer,1975.