书目详细信息 : 可计算性项目的三次设计