@book{45854,
	author = {Crosilla, Laura  and Schuster, Peter },
	title = {From sets and types to topology and analysis},
	publisher = {Clarendon Press},
	year = {2005},
	address = {Oxford}
}