A Basis for Theoretical Computer Science (Monographs in Computer Science / The AKM Series in Theoretical Computer Science)