Flum, J. 2001. Aspectes lògics de la complexitat computacional. Butlletí de la Societat Catalana de Matemàtiques. 15, 2 (Jun. 2001), 27–35.