@book{152271,
	author = {JACVSON  (DANIEL)},
	title = {Software Abstractions Logic Languages and Analysis },
	publisher = { PHI },
	address = {N.DELHI }
}