@book{ 89175,
	author = "Kahl, Wolfram",
	editor = "",
	title = "Parallel Composition and Decomposition of Spezifications",
	publisher = "Universität der Bundeswehr München, Fakultät für Informatik",
	number = "2001-01",
	year = "2001-01"
}