｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2024,8,6]]，“date time”：“2024-08-06T10:06:41Z”，“timestamp”：1722938801797｝，“publisher location”：“New York，New York，USA”，“reference count”：0，“publisher”：“ACM Press”，“content domain”：｛“domain”：[]，“crosmark restriction”：false｝，“short container title”：[]，“已出版印刷品”：｛“日期部分”：[[1987]]｝，“DOI”：“10.1145\/41625.41626”，“类型”：“议事录文章”，“已创建”：｛“日期部分”：[[2003,6,2]]，“日期时间”：“2003-06-02T13:12:42Z”，“时间戳”：1054559562000｝，“页面”：“1-2”，“来源”：“Crossref”，“由计数引用”：43，“标题”：[“A\u2200自动机对并发程序的规范和验证”]，“prefix”：“10.1145”，“author”：[{“given”：“Z.”，“family”：“Monna”，“sequence”：“first”，“affiliation”：[]}，{“fivention”：“A.”，“家族”：“Pnueli”，”sequence“：”additional“，”affiliation:“[]}]，“成员”：“320”，“event”：{“number”：“14”，“赞助商”：[“SIGPLAN，ACM编程语言特别兴趣小组”]，“缩写”：“POPL'87”，“name”：“第14届ACM SIGACT-SIGPLAN研讨会”，“start”：{“date-parts”：[[1987,1,21]]}，“location”：“Munich，West Germany”，“end”：{“date-parts”：[[[1987，1,23]]}}，”container-title“：[“第14次ACM SIGA CT-SIGPRAN编程语言原理研讨会论文集-POPL'87”]，“original-title”：[]，“link”：[{“URL”：“http://\dl.ACM.org\/ft_gateway.c”调频？id=41626&ftid=576968&dwn=1“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2016,12,16]]，”date-time“：“2016-12-16T14:30:06Z”，”timestamp“：14818986060000}，”score“：1，”resource“：”{“primary”：{“URL”：“http://portal.acm.org引文.cfm？doid=41625.41626“}}，”副标题“：[]，”proceedings-subject“：”编程语言的原理“，”简短标题“：[]，”已发布“：{”日期部分“：[[1987]]}，”引用计数“：0，”URL“：”http://\/dx.doi.org\/10.1145\/41625.41626“，”关系“：{}，“主题”：[]，“已发布”：{“日期部分”：[1987]}}}