@book{259391,
	author = {Kastens and Waite},
	title = {Generating Software From Specifications},
	publisher = {Viva  Books P Ltd.},
	year = {2008},
	edition = {1}
}