@book{12138,
	author = {Symposium on Mathematical Foundations of Computer Science, Marianske Lazue, September 1-5, 1975 and Becvar, J.},
	title = {Mathematical foundations of computer science},
	publisher = {Springer-Verlag,},
	year = {1975},
	address = {Berlin:}
}