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