@book{231933,
	author = {Bjorner, D.},
	title = {Software engineering 3:},
	publisher = {Springer India Pvt Ltd,},
	year = {2007.},
	address = {New Delhi :}
}