@book{27873,
	author = {Fitzgerald},
	title = {Validated Designs for Object-oriented Systems},
	publisher = {Springer},
	year = {2004},
	note = {16526}
}