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