@book{29579,
	author = {Freksa, Christian  and Valk, Rudiger},
	title = {Foundations of computer science:},
	publisher = {Springer,},
	year = {1997},
	address = {Berlin:}
}