Smart, A.; Smart, J.; Zerilli (eds), F. In/Formalization. Anuac 2017, 6, 45-108.