@book{218929,
	author = {John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat, Marcel Verhoef},
	title = {Validated Designs for Object-oriented Systems},
	publisher = {Springer US},
	year = {2005},
	address = {New York}
}