J. Becvar,Symposium on Mathematical Foundations of Computer Science.Symposium on Mathematical Foundations of Computer Science(8th : 1979 : Olomouc)：Mathematical foundations of computer science.Springer,1979.
J. Becvar,Symposium on Mathematical Foundations of Computer Science,NFCS`75.Symposium on Mathematical Foundations of Computer Science (4th : 1975 : Czechoslovakia)：Mathematical foundations of computer science.Springer,1975.
