@book{1438618,
	title = {Offical proceedings},
	publisher = { CUP   },
	year = {1950},
	address = {New York}
}