{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T15:45:27Z","timestamp":1780501527120,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540602712","type":"print"},{"value":"9783540447825","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60271-2_129","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:04:11Z","timestamp":1330261451000},"page":"334-352","source":"Crossref","is-referenced-by-count":2,"title":["The French population census for 1990"],"prefix":"10.1007","author":[{"given":"Pascal","family":"Bernard","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Guy","family":"Laffitte","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"21_CR1","unstructured":"Jean-Raymond Abrial. Introduction \u00e0 la m\u00e9thode de sp\u00e9cification formelle B (lecture on 6 video tapes with a print of the transparencies). teknea, Toulouse, 1994."},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Jean-Raymond Abrial. The B Book: assigning programs to meanings. Cambridge University Press, to appear in 1995.","DOI":"10.1017\/CBO9780511624162"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Andy S. Evans. Specifying & verifying concurrent systems using Z. In Maurice Naftalin, Tim Denvir, and Miquel Bertran, editors, FME'94: Industrial Benefit of Formal Methods, volume 873 of Lecture Notes in Computer Science, pages 366\u2013380. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58555-9_105"},{"key":"21_CR4","unstructured":"Henri Habrias. Introduction a la Specification. Methodologies du logiciel. Masson, 1993."},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Anthony Hall. Specifying and interpreting class hierarchies in Z. In J. P. Bowen and J. A. Hall, editors, Z User Workshop, Cambridge 1994, Workshops in Computing, pages 120\u2013138. Springer-Verlag, 1994.","DOI":"10.1007\/978-1-4471-3452-7_8"},{"key":"21_CR6","unstructured":"J. Mike Spivey. The Z Notation: a Reference Manual. International Series in Computer Science. Prentice Hall, 1992."}],"container-title":["Lecture Notes in Computer Science","ZUM '95: The Z Formal Specification Notation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60271-2_129.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:57:10Z","timestamp":1605628630000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60271-2_129"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602712","9783540447825"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-60271-2_129","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}