书目详细信息 : 可计算性与计算复杂性导引