Flum, J. (2001). Aspectes lògics de la complexitat computacional. Butlletí De La Societat Catalana De Matemàtiques, 15(2), 27–35. Retrieved from https://revistes.iec.cat/index.php/BSCM/article/view/18309.001