{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,11]],"date-time":"2026-01-11T22:57:07Z","timestamp":1768172227798,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540431664","type":"print"},{"value":"9783540456483","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45648-1_13","type":"book-chapter","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T01:26:02Z","timestamp":1180315562000},"page":"242-269","source":"Crossref","is-referenced-by-count":20,"title":["On Using Conditional Definitions in Formal Theories"],"prefix":"10.1007","author":[{"given":"Jean-Raymond","family":"Abrial","sequence":"first","affiliation":[]},{"given":"Louis","family":"Mussat","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,1,22]]},"reference":[{"key":"13_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":"13_CR2","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/BF00264250","volume":"21","author":"H. Barringer","year":"1984","unstructured":"H. Barringer, J.H. Cheng, C.B. Jones. A Logic Covering Undefinedness in Program Proofs. Acta Informatica 21: 251\u2013269 (1984).","journal-title":"Acta Informatica"},{"key":"13_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Well defined B","author":"P. Behm","year":"1998","unstructured":"P. Behm, L. Burdy, J.M. Meynadier. Well defined B. Second B International Conference. (Bert editor) LNCS 1393 Springer (1998)."},{"key":"13_CR4","unstructured":"L. Burdy Traitement des expressions d\u00e9pourvues de sens de la th\u00e9orie des ensembles. Th\u00e8se de Doctorat (2000)."},{"key":"13_CR5","unstructured":"J.H. Cheng, C.B. Jones On the Usability of Logics which Handle Partial Functions. Proceedings of Third Refinement Workshop. (1990)."},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"D. Gries. Foundations for Calculational Logic in Mathematical Methods in Program Development (M. Broy and B. Schieder Editors). Springer (1996).","DOI":"10.1007\/978-3-642-60858-2_16"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"C.B. Jones Partial Functions and Logics: a warning. Information Processing Letter 54 (1995).","DOI":"10.1016\/0020-0190(95)00042-B"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"B. Stoddart, S. Dunne, A. Galloway. Undefined Expressions and Logic in Z and B. Formal Methods in System Design, 15 (1999).","DOI":"10.1023\/A:1008797018928"},{"key":"13_CR9","unstructured":"P. Suppes. Introduction to Logic. Wadsworth International Group (1957)."},{"key":"13_CR10","unstructured":"W.M. Farmer and J.D. Guttman. A Set Theory with Support for Partial Functions in Partiality and Modality. (E. Thijsse, F. Lepage, and H. Wansing Editors). Special issue of Logica Studia (2000)."}],"container-title":["Lecture Notes in Computer Science","ZB 2002:Formal Specification and Development in Z and B"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45648-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T07:14:18Z","timestamp":1556435658000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45648-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431664","9783540456483"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-45648-1_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}