@book{26743,
	author = {Wagner, Marc.},
	title = {A change-oriented architecture for mathematical  /},
	publisher = {IOS,},
	year = {c2011},
	address = {Heidelberg :}
}