{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:11Z","timestamp":1725663731820},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540566106"},{"type":"electronic","value":"9783540475989"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56610-4_72","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:21:16Z","timestamp":1330255276000},"page":"299-313","source":"Crossref","is-referenced-by-count":0,"title":["Object organisation in software environments for formal methods"],"prefix":"10.1007","author":[{"given":"Jun","family":"Han","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jim","family":"Welsh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"R.J.R. Back. Refinement diagrams. In Proc. 4th BCS-FACS UK Refinement Workshop, pages 125\u2013137, Cambridge, UK, January 1991.","DOI":"10.1007\/978-1-4471-3756-6_7"},{"key":"21_CR2","unstructured":"D. Carrington and K. Robinson. A prototype program refinement editor. In Proc. 3th Australian Software Engineering Conf., pages 45\u201363, Canberra, Australia, May 1988."},{"key":"21_CR3","volume-title":"Implementing Mathematics with the Nuprl Proof Development System","author":"R. L. Constable","year":"1986","unstructured":"R.L. Constable, S.F. Allen, et al. Implementing Mathematics with the Nuprl Proof Development System. Prentice-Hall, Englewood Cliffs, NJ, 1986."},{"key":"21_CR4","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/978-1-4613-2007-4_3","volume-title":"VLSI Specification, Verification and Synthesis","author":"M. J. C. C. Gordon","year":"1988","unstructured":"M.J.C. Gordon. HOL: A proof generating system for higher-order logic. In VLSI Specification, Verification and Synthesis, pages 73\u2013128. Kluwer Academic Publishers, Boston, MA, 1988."},{"key":"21_CR5","volume-title":"PhD thesis","author":"J. Han","year":"1992","unstructured":"J. Han. A Structural Model for Methodology-based Interactive Rigorous Software Development. PhD thesis, University of Queensland, St. Lucia, Australia, 1992."},{"key":"21_CR6","volume-title":"Systematic Software Development using VDM","author":"C. B. Jones","year":"1990","unstructured":"C.B. Jones. Systematic Software Development using VDM. Prentice-Hall International, London, second edition, 1990.","edition":"second edition"},{"key":"21_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-3180-9","volume-title":"A Formal Development Support System","author":"C. B. Jones","year":"1991","unstructured":"C.B. Jones, K.D. Jones, P.A. Lindsay, and R. Moore. mural; A Formal Development Support System. Springer-Verlag, London, 1991."},{"key":"21_CR8","volume-title":"Programming from Specifications","author":"C. Morgan","year":"1990","unstructured":"C. Morgan. Programming from Specifications. Prentice-Hall International, London, 1990."},{"issue":"1","key":"21_CR9","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/BF01887199","volume":"1","author":"M. Nielsen","year":"1989","unstructured":"M. Nielsen, K. Havelund, K.R. Wagner, and C. George. The RAISE language, method and tools. Formal Aspects of Computing, 1(1):85\u2013114, 1989.","journal-title":"Formal Aspects of Computing"},{"key":"21_CR10","volume-title":"Technical Report 138","author":"P. J. Robinson","year":"1989","unstructured":"P.J. Robinson and J. Staples. Formalising the hierarchical structure of practical mathematical reasoning. Technical Report 138, Department of Computer Science, University of Queensland, St. Lucia, Australia, December 1989."},{"key":"21_CR11","volume-title":"Technical Report 168","author":"J. Staples","year":"1990","unstructured":"J. Staples. Functional logic for program verification: Introductory lectures. Technical Report 168, Department of Computer Science, University of Queensland, St. Lucia, Australia, July 1990."},{"key":"21_CR12","volume-title":"Technical Report 175","author":"T. G. Tang","year":"1991","unstructured":"T.G. Tang, P.J. Robinson, and J. Staples. The demonstration proof editor Demo2. Technical Report 175, Department of Computer Science, University of Queensland, St. Lucia, Australia, April 1991."},{"key":"21_CR13","unstructured":"T. Vickers. An overview of a refinement editor. In Proc. 5th Australian Software Engineering Conf., pages 39\u201344, Sydney, Australia, May 1990."},{"key":"21_CR14","unstructured":"T. Vickers. An overview of a theorem proving assistant. In Proc. 13th Australian Computer Science Conf., pages 402\u2013411, Melbourne, Australia, February 1990."}],"container-title":["Lecture Notes in Computer Science","TAPSOFT'93: Theory and Practice of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56610-4_72.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:53:49Z","timestamp":1619571229000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56610-4_72"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540566106","9783540475989"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-56610-4_72","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}