{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,16]],"date-time":"2026-10-16T20:23:16Z","timestamp":1792182196568,"version":"4.4.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":3,"publisher":"Springer-Verlag","isbn-type":[{"value":"3540548688","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0020001","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T05:58:00Z","timestamp":1131861480000},"page":"398-405","source":"Crossref","is-referenced-by-count":58,"title":["The B-method"],"prefix":"10.1007","author":[{"given":"J. -R.","family":"Abrial","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M. K. O.","family":"Lee","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"D. S.","family":"Neilson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"P. N.","family":"Scharbach","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"I. H.","family":"S\u00f8rensen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"B-Tool User Manual and B-Tool Reference Manual. Edinburgh Portable Compilers Ltd., 1991."},{"key":"7_CR2","unstructured":"Dijkstra, E.W. A Discipline of Programming. Prentice Hall, 1976."},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R. A Formal Approach to Large Software Construction, in Mathematics of Program Construction (ed. J. L. A. van de Snepscheut). Springer Verlag, 1989.","DOI":"10.1007\/3-540-51305-1_1"}],"container-title":["Lecture Notes in Computer Science","VDM '91 Formal Software Development Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0020001.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:43:53Z","timestamp":1607550233000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0020001"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540548688"],"references-count":3,"URL":"https:\/\/doi.org\/10.1007\/bfb0020001","relation":{},"subject":[]}}