Flum, J. “Aspectes lògics De La Complexitat Computacional”. Butlletí De La Societat Catalana De Matemàtiques, vol. 15, no. 2, June 2001, pp. 27-35, https://revistes.iec.cat/index.php/BSCM/article/view/18309.001.