@book{5929,
	author = {Gruska, J and Symposium on Mathematical Foundations of Computer Science, 1977},
	title = {Mathematical foundations of computer science, 1977},
	publisher = {Springer-Verlag},
	year = {1977},
	address = {Berlin}
}