SMART, A.; SMART, J.; ZERILLI (EDS), F. In/formalization. Anuac, v. 6, n. 2, p. 45-108, 31 dez. 2017.