{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:27:40Z","timestamp":1743049660895,"version":"3.40.3"},"publisher-location":"London","reference-count":14,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198864"},{"type":"electronic","value":"9781447132400"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-1-4471-3240-0_9","type":"book-chapter","created":{"date-parts":[[2011,12,28]],"date-time":"2011-12-28T05:22:09Z","timestamp":1325049729000},"page":"167-187","source":"Crossref","is-referenced-by-count":2,"title":["Metavariables and Conditional Refinements in the Refinement Calculus"],"prefix":"10.1007","author":[{"given":"Raymond G.","family":"Nickson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lindsay J.","family":"Groves","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"9_CR1","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1147\/rd.315.0546","volume":"31","author":"CC Morgan","year":"1987","unstructured":"Carroll C. Morgan and Ken Robinson. Specification statements and refinement. IBM Journal of Research and Development, 31 (5): 546\u2013555, September 1987.","journal-title":"IBM Journal of Research and Development"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1007\/BF00291051","volume":"25","author":"RJR Back","year":"1988","unstructured":"R. J. R. Back. A calculus of refinements for program derivations. Acta Inform atica, 25: 593\u2013624, 1988.","journal-title":"Acta Inform atica"},{"key":"9_CR3","unstructured":"Carroll Morgan. Programming from Specifications. Prentice Hall, 1990."},{"key":"9_CR4","series-title":"Workshops in Computing","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1007\/978-1-4471-3550-0_14","volume-title":"Fifth Refinement Workshop","author":"L Groves","year":"1992","unstructured":"Lindsay Groves, Raymond Nickson and Mark Utting. A tactic driven refinement tool. In Cliff B. Jones, Roger C. Shaw and Tim Denvir, editors, Fifth Refinement Workshop, Workshops in Computing, pages 272\u2013297. BCS FAGS, Springer-Verlag, 1992."},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"David Gries. The Science of Programming. Springer-Verlag, 1981.","DOI":"10.1007\/978-1-4612-5983-1"},{"key":"9_CR6","unstructured":"E. W. Dijkstra. A Discipline of Programming. Academic Press, 1976."},{"key":"9_CR7","series-title":"New Zealand Expert Systems Special Interest Group","volume-title":"Proceedings of the Third New Zealand Conference on Expert Systems","author":"LJ Groves","year":"1988","unstructured":"Lindsay J. Groves and Raymond G. Nickson. An intelligent editor for constructing correct programs. In Proceedings of the Third New Zealand Conference on Expert Systems. New Zealand Expert Systems Special Interest Group, 1988."},{"issue":"3","key":"9_CR8","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1145\/44501.44503","volume":"10","author":"M Carroll","year":"1988","unstructured":"Carroll Morgan. The specification statement. ACM Transactions on Programming Languages and Systems, 10 (3): 403\u2013419, July 1988.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"4","key":"9_CR9","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1145\/69558.69559","volume":"11","author":"G Nelson","year":"1989","unstructured":"Greg Nelson. A generalization of Dijkstra\u2019s calculus. ACM Transactions on Programming Languages and Systems, 11 (4): 517\u2013561, October 1989.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"9_CR10","series-title":"Workshops in Computing","volume-title":"Sixth Refinement Workshop","author":"L Groves","year":"1994","unstructured":"Lindsay Groves. Deriving language recognition algorithms: A case study in combining program specialisation and data refinement. In David Till and Roger C. F. Shaw, editors, Sixth Refinement Workshop, Workshops in Computing. BCS FACS, Springer-Verlag, 1994."},{"key":"9_CR11","volume-title":"Proceedings of the Third International Conference on Logic Programming","author":"L Naish","year":"1986","unstructured":"L. Naish. Negation and quantifiers in NU-Prolog. In Proceedings of the Third International Conference on Logic Programming, 1986."},{"key":"9_CR12","series-title":"Workshops in Computing","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-3494-7","volume-title":"Fifth Refinement Workshop","author":"T Clement","year":"1992","unstructured":"Tim Clement. Using metavariables in natural deduction proofs. In Cliff B. Jones, Roger C. Shaw and Tim Denvir, editors, Fifth Refinement Workshop, Workshops in Computing. BCS FACS, Springer-Verlag, 1992."},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"C. B. Jones, K. D. Jones, P. A. Lindsay and R. Moore. mural: A Formal Development Support System. Springer-Verlag, 1991.","DOI":"10.1007\/978-1-4471-3180-9"},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/0167-6423(87)90011-6","volume":"9","author":"M Joseph","year":"1987","unstructured":"Joseph M. Morris. A theoretical basis for stepwise refinement and the programming calculus. Science of Computer Programming, 9: 287\u2013306, 1987.","journal-title":"Science of Computer Programming"}],"container-title":["Workshops in Computing","6th Refinement Workshop"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3240-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T06:59:10Z","timestamp":1675925950000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-3240-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540198864","9781447132400"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3240-0_9","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1994]]}}}