00519nam 2200169 450 2112817http://id.bnportugal.gov.pt/bib/porbase/21128170-534-94728-XUALLC_BC_126.iso/16-03-2009/1586520020204d1997 k y0pory0103 baengUSAIntroduction to the theory of computationMichael SipserBostonPWS Publishing Companycop. 1997396 p.24 cm.004.43BNporSipserMichael070PTUALLCRPC