@第{zbMATH00091491条，作者＝{Feferman，Solomon}，Title={抽象数据类型的新方法。{I}:{非正式}开发}，FJournal={计算机科学中的数学结构}，日志={Math.Struct.Comput.Sci.}，ISSN={0960-1295}，体积={2}，数字={2}，页码={193--229}，年份={1992年}，语言={英语}，DOI={10.1017/S0960129500001432}，关键词={68Q65}，zbMATH={91491}，Zbl={0825.68456}}