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