F. S. de Carvalho, “Bases para uma Teoria Geral das Construções Formais”, Intuitio, vol. 9, no. 1, pp. 15–27, Mar. 2016.