{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:35:19Z","timestamp":1725496519736},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540644057"},{"type":"electronic","value":"9783540697695"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0053366","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T06:05:53Z","timestamp":1149660353000},"page":"261-272","source":"Crossref","is-referenced-by-count":0,"title":["Two strategies to data-refine an equivalence to a forest"],"prefix":"10.1007","author":[{"given":"Philipp","family":"Heuberger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,22]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"J-R. Abrial. The B-Book. Cambridge University Press, 1996.","DOI":"10.1017\/CBO9780511624162"},{"key":"17_CR2","unstructured":"J-R. et al Abrial. B-Technology Technical Overview. B-Core (UK) Ltd., 1993."},{"key":"17_CR3","unstructured":"A.V. Aho, J.E. Hopcraft, and J.D. Ullman. Data Structures and Algorithms. Addison Wesley, 1983."},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Edward Cohen. Programming in the 1990s. Springer Verlag, 1990.","DOI":"10.1007\/978-1-4613-9706-9"},{"key":"17_CR5","unstructured":"T.H. Cormen, C.E. Leiserson, and R.L. Rivest. Introduction to Algorithms. McGraw-Hill, second edition, 1990."},{"key":"17_CR6","unstructured":"Edsger W. Dijkstra. A Discipline of Programming. Prentice Hall, 1976."},{"key":"17_CR7","unstructured":"Ranan Fraer. Formal development in B of a minimum spanning tree algorithm. In Habrias [9], pages 305\u2013328."},{"key":"17_CR8","unstructured":"David Gries. The Science of Programming. Springer Verlag, fifth edition, 1989."},{"key":"17_CR9","unstructured":"Henri Habrias, editor. 1st B International Conference, volume 86. Institut de Recherches en Informatique de Nantes, November 1996."},{"key":"17_CR10","unstructured":"Philipp Heuberger. Exercise: Equivalence relation. In Specification Case Studies with B, volume Ser. B, No 26 of Reports on Computer Science and Mathematics. \u00e5bo Akademi, 1996."},{"key":"17_CR11","unstructured":"Philipp Heuberger. Proving on a reasonable level of abstraction with programmer-designed theories. In Habrias [9], pages 297\u2013302."},{"key":"17_CR12","unstructured":"C.B. Jones. Systematic Software Development using VDM. Prentice-Hall International, second edition, 1989."},{"key":"17_CR13","unstructured":"D.S. Neilson and I.H. Soerensen. The B-technologies: A system for computer aided programming. In 6th Nordic Workshop on Programming Theory, Aarhus, 1994."}],"container-title":["Lecture Notes in Computer Science","B\u201998: Recent Advances in the Development and Use of the B Method"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053366","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T06:37:48Z","timestamp":1555655868000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053366"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540644057","9783540697695"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0053366","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}