@book{13875,
	author = {de Boer, Frank S. and Bonsangue, Marcello M.},
	title = {Formal Methods for Components and Objects},
	publisher = {Springer},
	year = {Jan. 2011},
	address = {New York : },
	url = {http://www.columbia.edu/cgi-bin/cul/resolve?clio8568511}
}