@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} }