{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“讯息”：{“索引”：{“日期部分”：[[2023,10,22]]，“日期时间”：“2023-10-22T10:33:47Z”，“时间戳”：1697970827276}，“参考计数”：45，“出版商”：“电气与电子工程师协会（IEEE）”，“发行”：“1”，“许可证”：[{“开始”：{-“日期部分“：[1980,1]]，”“日期时间我”：“1980-01-01T00:00:00Z”，“timestamp”：3155328000000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/ieeexplore.iee.org\/Xplorehelp\/downloads\/license-information\/ieee.html”}]，“content-domain”：“日期部分”：[[1980,1]]}，“DOI”：“10.1109\/tse.1980.230459”，“type”：“journal-article”，“created”：{“date-parts”：[[2007,6,27]]，“date-time”：“2007-06-27T14:41:16Z”，“timestamp”：1182955276000}，“page”：：“24-32”，“source”：：[{“给定”：“D.R.”，“family”：“Musser”，“sequence”：“first”，“affiliation”：[]}]，“member”：“263”，“reference”：[{“key”：“ref39”，“doi-asserted-by”：”publisher“，”doi“：”10.1007\/BF00288745“}，{“key”：”ref38“，”doi-assert-by“：”publiser“，“doi”：”10.1145\/321738.321750}“，{”key“：”ref33“，”article-title“：”a data type verification基于重写规则的系统“，”作者“：”穆瑟“，”年份“：“1977”，“期刊标题”：“Proc 6th Texas Conf on Computing Syst”}，{“key”：“ref32”，“doi断言者”：“publisher”，“doi”：“10.1145\/359461.359466”}，{“key”：“ref31”，“doi断言者”：“publisher”，“doi”：“10.1007\/BF000260921”}，{“key”：“ref30”，“doi断言者”：“publisher”，“doi”：“10.1145\/800022.808322”}，{“key”：“ref37”，“doi由“：”publisher“，”doi“断言：“10.1145\/321250.321253”}，{“key”：“ref36”，“doi-asserted-by”：“publisher”，“doi”：“10.145\/512760.512775”}、{“key”：”ref35“，“author”：“nakajima”，“year”：“1977”，“journal-title”：“Sypes？partial types？for program and specification structing and a first order system iota logic”}；{“密钥”：“ref34”，“doi-asserted-by”:“publishers”，“TOI”：”10.1145\/567446.567461“}，{“key”：“ref10”，“first-page”：“89”，“article-title”：“作为初始代数的抽象数据类型和数据表示的正确性”，“author”：“goguen”，“year”：“1975”，“journal-title“：“Proc-Conf Compute Graphics Pattern Recognition and data Structure”}，{“密钥”：“ref40”，“作者”：“stickel”，“年份”：“1977”，“日记标题”：“具有完全统一算法的方程理论的全套约简”}，{“key”：“ref11”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/TSE.1975.6312820”}、{“key”：”ref12“，”author“：”guttag“，”year“：”1975“，”journal-title“：抽象数据类型编程的规范和应用”}：“publisher”，“DOI”：“10.1145\/359605.359618”}，{“key”：“ref14”，“DOI-asserted-by”：“publicher”，“DOI”：”10.1007\/BFb0014684“}，}“key:”ref15“，”first page“：”13“，”article-title“：“类型抽象注释（版本2）”，“year”：“0”，“journal-title”：“IEEE Trans-Software Eng”}“，”DOI“：”10.1007\/BF00260922“}，{”key“：”ref17“，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/359657.359666”}，{“key”：“ref18”，“volume”：”iv“，”author“：”guttag“，”year“：”1978“，”journal-title“：”Current Trends in Programming Methodology“}，”{“key”：“ref19”，“year”：“1976”，“journal-title”：“Proc Int Conf Softw Eng”}“，”日志标题“：“关于半决定一阶有效性和无效性”}，{“关键”：“参考4”，“首页”：“1045”，“文章标题”：“将理论结合起来以制定规范”，“作者”：“burstoll”，“年份”：“1977年”，“新闻标题”：《第五届人工智能国际联合会议》}：“具有交换关联公理的简单方程理论的决策程序交换关联约简的完整集”}，{“key”：“ref3”，“first page”：”511“，“article-title”：“递归函数理论的引理驱动的自动定理证明程序”，“volume”：1“，”author“：”boyer“，”year“：”1977“，”journal-title“：”Proc IJCAI-77 Conf“}，{“key”：“ref6”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/359138.359142”}，{“密钥”：“ref29”，“文章标题”：“关于树替换系统的停止”，“作者”：“lipton”，“年份”：“1977”，“日志标题”：《理论计算科学的困惑》}}，{“键”：“参考8”，“author”：“gerhart”，“year”：“1979”，“journal-title”：“Reliable Software Conf的过程规范”}，{“key”：“ref7”，“author”：“dijkstra”，“年份”：“1976”，“日记标题”：“编程的一门学科”}“，”文章标题“：“obj-o的一些设计原则和理论，一种表示和执行程序代数规范的语言”，“author”：“goguen”，“year”：“1978”，“journal-title”：“Proc Int Conf on Math Studies of Information Processing”}，{“key”：“ref1”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/800022.808306”}：“10.1145\/800027.808435”}，{“key”：“ref45”，“author”：“zilles”，“year”：“1975”，“journal-title”：“An introduction to data algebrage”}：“Confluent reducations Abstract properties and applications to term rewriting systems”}，{“key”：“ref42”，“year”：“1978”，“journal-title”：“Interdisp Reference Manual”}、{“key”：”ref24“，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/B978-0-08-012975-4.50028-X”}；{“密钥”：“ref41”，“doi-asserted-by”：”publisher“，“doi:”10.1145\/80027.808471“}，}”key“：”参考23“，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/800233.807051”}，{“key”：“ref44”，“doo-asserted-by”：”publisher“，”doi“：”10.1109\/TSE.1976.233830“}，“key“：”ref26“，”author“：”lankford“，”year“：”1975“，”journal-title“：”Canonical inference“}al-title“：”POPART解析器和相关工具的生产者“}，{“key”：“ref25”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/95466.971189”}]，“container-title”：[“IEEE Transactions on Software Engineering”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx5\/32\/35914\/01702691.pdf？arnumber=1702691”，“内容类型”：“unspecified”，“content-version”：“vor”，“intended-application”：“simily”算术校验“}]，“存放”：{“日期部分”：[[2021,11,29]]，“日期时间”：“2021-11-29T15:54:21Z”，“时间戳”：1638201261000}，“分数”：1，“资源”：{“主要”：}“URL”：“http://\/ieeexplore.ieee.org\/document\/1702691\/”}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[1980,1]]}”，“引用计数”：45，“日志问题”：{“问题”：“1”}，“URL”：“http://\/dx.doi.org\/10.109\/tse.1980.230459”，“关系”：{}，“ISSN”：[“0098-5589”]，“ISSN-type”：[{“值”：“00985589”，“类型”：“打印”}]，“主题”：[]，“发布”：{“日期部分”：[[1980,1]]}}}}