Flum, J. Aspectes lògics De La Complexitat Computacional. Butll. Soc. Catalana de Mat. 2001, 15, 27-35.