Bartoletti, Massimo, Scalas, Alceste, Tuosto, Emilio and Zunino, Roberto (2016). Honesty by typing. Logical Methods in Computer Science, 12 (4:7), pp. 1-58.