@book{88558,
	author = {Bjorner, D.},
	title = {Software engineering},
	publisher = {Springer},
	year = {2008},
	address = {New York}
}