Smart, A., J. Smart, and F. Zerilli (eds). “In/Formalization”. Anuac, Vol. 6, no. 2, Dec. 2017, pp. 45-08, doi:10.7340/anuac2239-625X-3065.