{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T15:35:02Z","timestamp":1780500902538,"version":"3.54.1"},"reference-count":12,"publisher":"Association for Computing Machinery (ACM)","issue":"1","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2026,3,31]]},"DOI":"10.1145\/3772005","type":"journal-article","created":{"date-parts":[[2026,2,9]],"date-time":"2026-02-09T17:08:57Z","timestamp":1770656937000},"page":"1-3","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Remembering Jean-Raymond Abrial"],"prefix":"10.1145","volume":"38","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0038-6623","authenticated-orcid":false,"given":"Cliff","family":"Jones","sequence":"first","affiliation":[{"name":"School of Computing, Newcastle University","place":["Newcastle upon Tyne, United Kingdom of Great Britain and Northern Ireland"]}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,2,12]]},"reference":[{"key":"e_1_3_1_2_2","unstructured":"Jean-Raymond Abrial. 1982. Formal Programming."},{"key":"e_1_3_1_3_2","unstructured":"Jean-Raymond Abrial. 1982. A Theoretical Foundation to Formal Programming."},{"key":"e_1_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"key":"e_1_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"key":"e_1_3_1_6_2","first-page":"343","volume-title":"On the Construction of Programs","author":"Abrial J.-R.","year":"1980","unstructured":"J.-R. Abrial, S. A. Schuman, and B. Meyer. 1980. Specification language. In On the Construction of Programs, R. M. McKeag and A. M. Macnaghten (Eds.). Cambridge, 343\u2013410."},{"key":"e_1_3_1_7_2","volume-title":"The Specification of Abstract Mappings and Their Implementation as B Trees","author":"Fielding Elizabeth","year":"1980","unstructured":"Elizabeth Fielding. 1980. The Specification of Abstract Mappings and Their Implementation as B Trees. Technical Report PRG18. Programming Research Group, Oxford University."},{"key":"e_1_3_1_8_2","doi-asserted-by":"publisher","unstructured":"Ian J. Hayes and Steve King. 2021. Software specification. DOI:10.1145\/3477355","DOI":"10.1145\/3477355"},{"key":"e_1_3_1_9_2","volume-title":"Software Development: A Rigorous Approach","author":"Jones C. B.","year":"1980","unstructured":"C. B. Jones. 1980. Software Development: A Rigorous Approach. Prentice Hall International, Englewood Cliffs, N.J., USA. Retrieved fromhttp:\/\/portal.acm.org\/citation.cfm?id=539771"},{"key":"e_1_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/3477355"},{"key":"e_1_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33170-1_1"},{"key":"e_1_3_1_12_2","article-title":"Reading formal specifications","volume":"24","author":"Sufrin Bernard","year":"1981","unstructured":"Bernard Sufrin. 1981. Reading formal specifications. PRG Monograph 24 (1981).","journal-title":"PRG Monograph"},{"key":"e_1_3_1_13_2","doi-asserted-by":"publisher","unstructured":"Bernard Sufrin. 2021. Teaching at Belfast and Oxford. DOI:10.1145\/3477355","DOI":"10.1145\/3477355"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3772005","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T22:20:30Z","timestamp":1770934830000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3772005"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,2,12]]},"references-count":12,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2026,3,31]]}},"alternative-id":["10.1145\/3772005"],"URL":"https:\/\/doi.org\/10.1145\/3772005","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,2,12]]},"assertion":[{"value":"2025-10-08","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-10-13","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2026-02-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}