@book{41217,
	author = {Kastens, Uwe and Sloane, Anthony M.},
	title = {Generating software from specifications /},
	publisher = {Viva Books,},
	year = {2008},
	address = {New Delhi :}
}