@book{15128,
	author = {Bertot;Yves},
	title = {From Semantics to computer science},
	publisher = {Wiley},
	year = {2012},
	address = {Canada}
}