{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:13:30Z","timestamp":1725491610715},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540752905"},{"type":"electronic","value":"9783540752929"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75292-9_2","type":"book-chapter","created":{"date-parts":[[2007,9,11]],"date-time":"2007-09-11T10:43:07Z","timestamp":1189507387000},"page":"18-33","source":"Crossref","is-referenced-by-count":1,"title":["Linking Semantic Models"],"prefix":"10.1007","author":[{"given":"He","family":"Jifeng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1007\/BF00291051","volume":"25","author":"R.-J.R. Back","year":"1988","unstructured":"Back, R.-J.R.: A calculus for program derivations. Acta Informatica\u00a025, 593\u2013624 (1988)","journal-title":"Acta Informatica"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0167-6423(96)00019-6","volume":"28","author":"H. Jifeng","year":"1997","unstructured":"Jifeng, H., Seidel, K., McIver, A.: Probabilistic models for the Guarded Command Language. Science of Computer Programming\u00a028, 171\u2013192 (1997)","journal-title":"Science of Computer Programming"},{"issue":"2","key":"2_CR3","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1145\/69610.357988","volume":"27","author":"E.C.R. Hehner","year":"1984","unstructured":"Hehner, E.C.R.: Predicative Programming: Part 1 and 2. Communications of the ACM\u00a027(2), 134\u2013151 (1984)","journal-title":"Communications of the ACM"},{"issue":"1","key":"2_CR4","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0304-3975(83)90081-6","volume":"26","author":"E.C.R. Hehner","year":"1983","unstructured":"Hehner, E.C.R., Hoare, C.A.R.: A more complete model of communicating processes. Theoretical Computer Sciences\u00a026(1), 105\u2013120 (1983)","journal-title":"Theoretical Computer Sciences"},{"key":"2_CR5","doi-asserted-by":"crossref","first-page":"51","DOI":"10.3233\/FI-1986-9104","volume":"IX","author":"C.A.R. Hoare","year":"1986","unstructured":"Hoare, C.A.R., Jifeng, H.: Weakest prespecifications. Fundamenta Informaticae\u00a0IX, 51\u201384, 217\u2013252 (1986)","journal-title":"Fundamenta Informaticae"},{"key":"2_CR6","volume-title":"Unifying theories of programming","author":"C.A.R. Hoare","year":"1998","unstructured":"Hoare, C.A.R., Jifeng, H.: Unifying theories of programming. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"2_CR7","volume-title":"Systematic Software Development Using VDM","author":"C.B. Jones","year":"1986","unstructured":"Jones, C.B.: Systematic Software Development Using VDM. Prentice-Hall, Englewood Cliffs (1986)"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1986","unstructured":"Moggi, E.: Notations of computation and monads. Information and Computation\u00a093, 55\u201392 (1986)","journal-title":"Information and Computation"},{"issue":"3","key":"2_CR9","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/0167-6423(87)90011-6","volume":"9","author":"J.M. Morris","year":"1987","unstructured":"Morris, J.M.: A theoretical basis for stepwise refinement and the programming calculus. Science of Computer Programming\u00a09(3), 287\u2013306 (1987)","journal-title":"Science of Computer Programming"},{"key":"2_CR10","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511663079","volume-title":"Data Refinement: Model-oriented Proof Methods and Their Comparison","author":"W.P. Roever de","year":"1998","unstructured":"de Roever, W.P., Engelhardt, K.: Data Refinement: Model-oriented Proof Methods and Their Comparison. Cambridge University Press, Cambridge (1998)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75292-9_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,23]],"date-time":"2021-08-23T06:59:11Z","timestamp":1629701951000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75292-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540752905","9783540752929"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75292-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}