J. Flum, “Aspectes lògics de la complexitat computacional”, Butll. Soc. Catalana de Mat., vol. 15, no. 2, pp. 27–35, Jun. 2001.