{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T05:56:59Z","timestamp":1743055019249,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540402534"},{"type":"electronic","value":"9783540448808"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44880-2_12","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T16:12:53Z","timestamp":1183479173000},"page":"168-177","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["B#: Toward a Synthesis between Z and B"],"prefix":"10.1007","author":[{"given":"Jean-Raymond","family":"Abrial","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"J.-R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press (1996).","DOI":"10.1017\/CBO9780511624162"},{"key":"12_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/3-540-45648-1_13","volume-title":"ZB2002: Formal Specification and Development in Z and B","author":"J.-R. Abrial","year":"2002","unstructured":"J.-R. Abrial and L. Mussat. On Using Conditional Definitions in Formal Theories. In ZB2002: Formal Specification and Development in Z and B, LNCS 2272, pages 242\u2013269. Springer-Verlag, 2002."},{"key":"12_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/BFb0053357","volume-title":"B\u201998: Recent Advances in the Development and Use of the B Method","author":"J.-R. Abrial","year":"1998","unstructured":"J.-R. Abrial and L. Mussat. Introducing Dynamic Constraints in B. In B\u201998: Recent Advances in the Development and Use of the B Method, LNCS 1393, pages 83\u2013128. Springer-Verlag, april 1998."},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"R. J. R. Back and R. Kurki-Suonio. Decentralization of Process Nets with Centralized Control. 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, 1983.","DOI":"10.1145\/800221.806716"},{"issue":"3","key":"12_CR5","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"L. Lamport. The Temporal Logic of Actions. ACM Trans. Program. Lang. Syst., 16(3):872\u2013923, 1994.","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"12_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"748","DOI":"10.1007\/3-540-55602-8_217","volume-title":"11th Int. Conf. on Automated Deduction (CADE)","author":"S. Owre","year":"1992","unstructured":"S. Owre, J. M. Rushby and N. Shankar. PVS: A Prototype Verification System. In 11th Int. Conf. on Automated Deduction (CADE), LNCS 607, pages 748\u2013752, Springer-Verlag, 1992."},{"key":"12_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0030541","volume-title":"Newblock Isabelle: A Generic Theorem Prover","author":"L. C. Paulson","year":"1994","unstructured":"L. C. Paulson. Newblock Isabelle: A Generic Theorem Prover. In LNCS 828. Springer-Verlag, 1994."},{"key":"12_CR8","unstructured":"J. M. Spivey. Understanding Z. Cambridge University Press, 1988."}],"container-title":["Lecture Notes in Computer Science","ZB 2003: Formal Specification and Development in Z and B"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44880-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,30]],"date-time":"2023-01-30T13:29:51Z","timestamp":1675085391000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-44880-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540402534","9783540448808"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-44880-2_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"27 May 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}