@book{662976,
	author = {TENNENT R. D. },
	title = {SPECIFYING SOFTWARE },
	publisher = {CAMBRIDGE UNIVERSITY PRESS},
	year = {2002},
	address = {PUNE},
	edition = {NULL}
}