@book{18624,
	author = {Steffen, Bernhard},
	title = {Correct system design :},
	publisher = {Springer,},
	year = {c1999},
	address = {Berlin ;}
}