A. Dinucci, V. Duarte, L. M. Fontes, A. Cabeceiras, e R. P. de Brito, “Introdução à lògica Proposicional estoica”, PRO, jun. 2016.