《理论计算机科学》第20卷
1982年第20卷
米切尔·旺德 :
数据抽象的规范、模型和实现。 3-32 安德烈·阿诺德 , 马克斯·多切特 :
《阿尔伯雷的形态与双态》。 33-93 沃纳·达姆 :
IO和OI层次结构。 95-207 哈特穆特·埃里格 , 汉斯·约格·克鲁斯基 , 伯恩德·马赫 , 彼得·帕达维茨 :
抽象数据类型的代数实现。 209-263 杰拉德·贝瑞 , 皮埃尔·路易斯·居里 :
具体数据结构的顺序算法。 265-321 Ker-I Ko公司 , 哈维·弗里德曼 :
实函数的计算复杂性。 323-352