@book{23212,
	author = {    Mitchell, Richard, ;},
	title = {Design by contract, by example},
	publisher = { : Addison Wesley, },
	year = {© 2002.},
	address = {Boston, MA}
}