@book{259312,
	author = {Uwe Kastens and Willam M Waite},
	title = {Generating Software from Specifications},
	publisher = {Viva},
	year = {2008},
	edition = {1}
}