@book{1891,
	author = {Kastens, Uwe and Sloane, Anthony M.},
	title = {Generating software from specifications/},
	publisher = {Jones and Bartlett Publishers,},
	year = {2007. },
	address = {Massachussetts, USA:},
	note = {Includes bibliographical references and index.}
}