@book{412573,
	author = {BJORNER D},
	title = {SOFTWARE ENGINEERING VOL 2 - SPECIFICATION OF SYSTEMS AND LANGUAGES},
	publisher = {SPRINGER(INDIA) PVT LTD NEW DELHI},
	edition = {1},
	note = {Hard Board}
}