{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,2,5]]，“日期时间”：“2024-02-05T10:40:25Z”，“时间戳”：1707129625898}，“出版商位置”：“柏林，海德堡”，“参考计数”：19，“出版者”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540637745”，“类型”：“print”}，{“value”：“9783540696452”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[1997]}，”DOI“：”10.1007\/3-540-63774-5_131“，”type“：”book-capter“，”created“：”{“date-part”：[2006,7,17]]，“date-time”：“2006-07-17T14:30:57 Z“，”时间戳“：1153146657000}，”页面“：”497-504“，“source”：“Crossref”，“is-referenced-by-count”：0，“title”：[“最佳编码”]，“prefix”：“10.1007”，”author“：[{”given“：”Massimo“，”family“：”Marchiori“，”sequence“：”first“，”affiliation“：[]}]，“member”：“297”，“published-on-line”：{“date-parts”：[[2005,7,29]]]}，“reference”：[{“key”：”38_CR1“，“unstructured”：“R。巴尔泽。进化是可重用性的新基础。在《编程中的可重用性》中，第80\u201382页。新泽西州纽波特市，1983年。”}，{“key”：“38_CR2”，“nonstructured”：“H.P.Barendregt.The Lambda Calculus:its Syntax and Semantics。North Holland，1981年。”}，{“key”：“38_CR3”，“doi asserted by”：“crossref”，“first page”：“390”，“doi”：“10.1109\/TSE.1975.6312870”，“volume”：“4”，“author”：“V.R.Basili”，“year”：“1975”，“nonstructured”：“V.R.Basili and A.J。特纳。迭代增强：一种实用的软件开发技术。IEEE软件工程学报，4:390\u20133961975年12月。”，“期刊标题”：“IEEE软件工程学学报”}，{“关键字”：“38_CR4”，“非结构化”：“M.Bezem，J.W.Klop，and R.C de Vrijer。术语重写系统，《剑桥理论计算机科学丛书》第25卷。剑桥大学出版社，1997年。出现。“}，{”key“：”38_CR5“，”unstructured“：”K.Clark和D.Cowell。程序、机器和计算。McGraw-Hill，1976年。“}、{”key“：关于数学原理及相关系统的形式不可判定命题”，“作者”：“K.G\u00f6del”，“年份”：“1962年”，“非结构化”：“K.G\u 00f6Del”。数学原理及其相关系统的形式不可判定命题。Oliver&Boyd，爱丁堡和伦敦，1962年。“}，{”key“：”38_CR8“，”unstructured“：”J.E.Hopcroft和I.Ullman。《自动机理论、语言和计算导论》。Addison-Wesley，1979年。“{”key“：“38_CR9”，“doi-asserted-by”：“crossref”，“unstructure”：“I.V.Horebeek和J.Lewi。《软件工程中的代数规范》。Springer-Verlag，1989年。“，“DOI”：“10.1007\/978-3642-75030-4”}，{“key”：“38_CR10”，“DOI-asserted-by”：“crossref”，“unstructured”：“M.Kanovich。Petri网、角程序、线性逻辑和向量游戏。M.Hagiya和J.C.Mitchell，计算机软件理论方面国际研讨会编辑，LNCS第789卷，第642\u2013666页。Springer-Verlag，1994.“，”DOI“：”10.1007\/3-540-57887-0_119“}，{“key”：“38_CR11”，“DOI-asserted-by”：“crossref”，“unstructured”：“A.J.Kfoury，R.N.Moll，and M.A.Arbib.可计算性编程方法。Springer-Verlag，纽约，1982年。”，“DOI”：“10.1007\/9781-4612-5749-3”}，“key“：”38_CR12“，”DOI-assert-by“：”crossref.“，”“：”10.1007 \/978-1-4612-5749-3“，“卷-时间”：“可计算性编程方法”，“作者”：“A.J.Kfoury”，“年份”：“1982”，“非结构化”：“A.J.Kfoury，R.N.Moll和M.A.Arbib。可计算性的编程方法。Springer-Verlag，纽约，1982年。“}，{“key”：“38_CR13”，“unstructured”：“S.S.Lam和A.U.Shankar。分层系统的合成定理。收录于B.Jonsson、J.Parrow和B.Perhson，编辑，第11届协议规范国际研讨会，第93页\u2013108。North-Holland，1991年。“}，{”key“：”38_CR14“，”unstructured“：”M.Machtey和P.Young.算法通论导论。North-Holland，1978年doi-asserted-by“：”crossref“，”first page“：”79“，”doi“：”10.1093\/oso\/9780198537359.003.0002“，“volume-title”：“计算机科学中的逻辑手册”，“author”：“I.C.C.Phillips”，“year”：“1992”，“unstructured”：“C.C.Philips”。递归理论。S.Abramsky、Dov M.Gabbay和T.S.E.Maibaum，编辑，《计算机科学逻辑手册》，第1卷，第1章，第79页\u2013188。克拉伦登出版社，牛津，1992年。“}，{”key“：”38_CR17“，”doi-asserted-by“：”crossref“，”first-page“：”187“，“doi”：“10.1016\/S0022-0000（67）80014-X”，“volume”：“1”，“author”：“D.Scott”，“year”：“1967”，“unstructured”：“D.Scott。关于自动机理论的一些定义建议。《计算机与系统科学杂志》，1:187\u20132121967。”，“杂志标题”：“计算机与系统科学杂志“}，{“key”：“38_CR18”，“unstructured”：“J.D Warnier.程序的逻辑构造.H.E.Stenfert Kroese，1974。”}，}，“key“：”38_CR19“，”unstructure“：”P.Wegner.复用的多样性.在程序复用中，第30\u201344页。纽波特，RI，1983.“}]，“容器-时间”：[“SOFSEM'97:信息学理论与实践”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/3-540-63774-5_131”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}，“存放”：{date-parts“：[[2024,2,5]]，“date-time”：“2024-02-05T10:11:30Z”，“timestamp”：1707127890000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\link.springer.com\/10.1007\/3-540-63774-5_131”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[1997]]}”，“ISBN”：[“9783540637745”，“9783540696452“]，”references-count“：19，”URL“：”http:\/\/dx.doi.org\/10.1007\/3-540-63774-5_131“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-7743“”，“type”：“print”}，{”value“：“1611-3399”，“类型”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[1997]]}}}}