@book{347,
	author = {Kastens, Uwe. and Waite, W. M.},
	title = {Generating software from specifications /},
	publisher = {Jones and Bartlett Publishers; Viva Books,},
	year = {2008},
	address = { New Delhi ;},
	url = {http://www.worldcat.org/title/generating-software-from-specifications/oclc/65197881&referer=brief_results}
}