@conference {140,
	title = {Honesty by Typing},
	booktitle = {FMOODS/FORTE},
	year = {2013},
	publisher = {Springer},
	organization = {Springer},
	address = {Florence, Italy},
	author = {Massimo Bartoletti and Alceste Scalas and Emilio Tuosto and Roberto Zunino}
}