@book{191878,
	author = {Jackson, Daniel.},
	title = {Software abstractions: logic language and analysis.},
	publisher = {Prentice Hall of India PVt Ltd.},
	year = {2007},
	address = {New Delhi},
	edition = {1}
}