@book{39930,
	author = {JACKSON},
	title = {SOFTWARE ABSTRACTIONS : LOGIC LANGUAGE AND ANALYSIS},
	publisher = {PHI},
	year = {2009},
	edition = {1}
}