Font Llovet, J. M. “Compatibilitat En Àlgebra, En Lògica I En Informàtica”. Butlletí De La Societat Catalana De Matemàtiques, vol. 22, no. 1, Sept. 2007, pp. 75-110, https://revistes.iec.cat/index.php/BSCM/article/view/25888.001.