@book{32798,
	author = {Bjørner, D.},
	title = {Software engineering 1 :},
	publisher = {Springer ,},
	year = {2006},
	address = {Germany :}
}