@book{231949,
	author = {Bjorner, D.},
	title = {Software Engineering 3:},
	publisher = {Springer Pvt Ltd.,},
	year = {2007.},
	address = {New Delhi :},
	edition = {1st ed.}
}