{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T16:51:36Z","timestamp":1694623896960},"reference-count":5,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[1996,5,1]],"date-time":"1996-05-01T00:00:00Z","timestamp":830908800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[1996,5]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>\n            Successive editions of the author's reference manual for the Z specification language [ZRM89, ZRM92] gave different sufficient conditions for the consistency of free type definitions. Both were expressed in terms of the settheoretic constructions present in the type definition. Whilst the first edition specified that these constructions should be\n            <jats:italic>continuous<\/jats:italic>\n            , in the sense that they preserve limits of ascending chains of sets, the second edition specified that they should be\n            <jats:italic>finitary<\/jats:italic>\n            , i.e., that the result of each construction should be the union of a set of finite approximations. This short note clarifies the relationship between these two conditions.\n          <\/jats:p>","DOI":"10.1007\/bf01214920","type":"journal-article","created":{"date-parts":[[2005,2,25]],"date-time":"2005-02-25T16:10:59Z","timestamp":1109347859000},"page":"369-375","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["The consistency theorem for free type definitions in Z"],"prefix":"10.1145","volume":"8","author":[{"given":"Michael","family":"Spivey","sequence":"first","affiliation":[{"name":"Oxford University Computing Laboratory, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","doi-asserted-by":"crossref","unstructured":"Aczel P.: \u201cAn introduction to inductive definitions\u201d in J. Barwise (ed.) Handbook of mathematical logic pp. 739\u201382. North-Holland 1977.","DOI":"10.1016\/S0049-237X(08)71120-0"},{"key":"e_1_2_1_2_2_2","doi-asserted-by":"crossref","unstructured":"Arthan R. D.: \u201cOn free type definitions in Z\u201d in J. E. Nicholls (ed.) Proceedings of the sixth Z User Meeting pp. 40\u201358. Springer-Verlag 1992.","DOI":"10.1007\/978-1-4471-3203-5_2"},{"key":"e_1_2_1_2_3_2","unstructured":"Spivey J. M.: \u201cFree type definitions\u201d in J. E. Nicholls (ed.) Proceedings of the third Z User Meeting . Programming Research Group Oxford University Computing Laboratory 1988."},{"key":"e_1_2_1_2_4_2","unstructured":"Spivey J. M.: The Z notation: a reference manual . Prentice-Hall International First edition November 1989."},{"key":"e_1_2_1_2_5_2","unstructured":"Spivey J. M.: The Z notation: a reference manual . Prentice-Hall International Second edition March 1992."}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01214920.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01214920\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/BF01214920","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:26:24Z","timestamp":1641482784000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/BF01214920"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,5]]},"references-count":5,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1996,5]]}},"alternative-id":["10.1007\/BF01214920"],"URL":"https:\/\/doi.org\/10.1007\/bf01214920","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,5]]}}}