{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T20:11:44Z","timestamp":1780517504860,"version":"3.54.1"},"reference-count":18,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T00:00:00Z","timestamp":1775001600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T00:00:00Z","timestamp":1775001600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.15223\/policy-009"},{"start":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T00:00:00Z","timestamp":1775001600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.15223\/policy-001"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Annals Hist. Comput."],"published-print":{"date-parts":[[2026,4]]},"DOI":"10.1109\/mahc.2026.3685515","type":"journal-article","created":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T20:09:20Z","timestamp":1780430960000},"page":"71-80","source":"Crossref","is-referenced-by-count":0,"title":["Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer"],"prefix":"10.1109","volume":"48","author":[{"ORCID":"https:\/\/2.zoppoz.workers.dev:443\/https\/orcid.org\/0000-0002-8748-6140","authenticated-orcid":false,"given":"Jonathan P.","family":"Bowen","sequence":"first","affiliation":[{"name":"London South Bank University, London, U.K."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/2.zoppoz.workers.dev:443\/https\/orcid.org\/0009-0005-7470-4611","authenticated-orcid":false,"given":"Henri","family":"Habrias","sequence":"additional","affiliation":[{"name":"University of Nantes, Nantes, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Academy of Europe: Abrial Jean-Raymond","author":"Europaea","year":"2006"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60271-2_129"},{"key":"ref3","volume-title":"Jean-Raymond Abrial, Z, Socrate, B, Event-B, Rodin","year":"2025"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-29628-9_3"},{"key":"ref5","article-title":"Tributes to Jean-Raymond Abrial","author":"Bowen","year":"2026","journal-title":"FACS-FACTS Issue 2026-1"},{"key":"ref6","volume-title":"Jean-Raymond Abrial","year":"27"},{"key":"ref7","volume-title":"ECNU foreign expert Jean-Raymond Abrial won the International Science and Technology Cooperation Award","year":"2017"},{"key":"ref8","article-title":"La Spcification et la Construction Vrifie de Systmes Informatiss: Jean-Raymond Abrial, De LTR  Event-B et la Plateforme Rodin","volume-title":"Journes Scientifiques de Nantes Universit","author":"Habrias","year":"2026"},{"key":"ref9","volume-title":"In memory of Jean-Raymond Abrial (19382025)","author":"Habrias","year":"2025"},{"key":"ref10","article-title":"An introduction to the event-B modelling method","volume-title":"Industrial Deployment of System Engineering Methods","author":"Hoang","year":"2013"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3772005"},{"key":"ref12","article-title":"French professor wins big award","author":"Kun","year":"2017","journal-title":"China Daily"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-48077-6_9"},{"key":"ref14","volume-title":"Visiting professor: Jean-Raymond Abrial","year":"2011"},{"key":"ref15","volume-title":"The Z Notation: A Reference Manual (Prentice Hall International Series in Computer Science)","author":"Spivey","year":"1992"},{"key":"ref16","volume-title":"Early days at the PRG","author":"Sufrin","year":"2024"},{"key":"ref17","volume-title":"Jean-Raymond Abrial","year":"2026"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3783997"}],"container-title":["IEEE Annals of the History of Computing"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx8\/85\/11547327\/11547343.pdf?arnumber=11547343","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T19:45:43Z","timestamp":1780515943000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/ieeexplore.ieee.org\/document\/11547343\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4]]},"references-count":18,"journal-issue":{"issue":"2"},"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/mahc.2026.3685515","relation":{},"ISSN":["1058-6180","1934-1547"],"issn-type":[{"value":"1058-6180","type":"print"},{"value":"1934-1547","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,4]]}}}