@book{ 89144,
	author = "Heger, Christian;  Schmitz, Lothar",
	editor = "",
	title = "Establishing Properties of Frameworks and their Applications:",
	publisher = "Universität der Bundeswehr München, Fakultät für Informatik",
	number = "2009-01",
	year = "2009-01"
}