@book{73876,
	author = {Becvar, J., and Czechoslovak Academy of Sciences and Symposium on Mathematical Foundations of Computer Science},
	title = {Mathematical foundations of computer science 1975 :},
	publisher = {Springer,},
	year = {1975},
	address = {Berlin :},
	note = {"Organized by the Mathematical Institute of the Czechoslovak Academy of Sciences and is co-sponsored by the International Federation for Information Processing (IFIP)"}
}