bibliographic details : 抽象调和分析基础