@book{3195,
	author = {Yves Bertot},
	title = {From semantics to computer science :},
	publisher = {Cambridge University Press,},
	year = {2009.},
	address = {New York :}
}