@book{212,
	author = {Habrias, Henri (editor)},
	title = {Software specification methods},
	publisher = {ISTE},
	year = {2007},
	address = {India}
}