@book{206431,
	author = {Charatan, Quentin. and Kans, Aaron. and ebrary, Inc.},
	title = {Formal software development},
	publisher = {Palgrave Macmillan,},
	year = {2004.},
	address = {Basingstoke :},
	note = {Includes index.},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10103773}
}