@book{317393,
	author = {Jackson D. and Jackson D.},
	title = {Software Abstractions Logic Languag And Analysis},
	publisher = {Prentice Hall Of India}
}