{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,30]],"date-time":"2023-01-30T19:09:22Z","timestamp":1675105762864},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1981,1,1]],"date-time":"1981-01-01T00:00:00Z","timestamp":347155200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/bf00289587","type":"journal-article","created":{"date-parts":[[2004,10,5]],"date-time":"2004-10-05T04:07:05Z","timestamp":1096949225000},"page":"15-30","source":"Crossref","is-referenced-by-count":5,"title":["On the use of history variables"],"prefix":"10.1007","volume":"16","author":[{"given":"M.","family":"Clint","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Apt, K., Francez, N., De Roever, W.P.: A proof system for communicating sequential processes. Technical Report, Dept. of Computer Science, University of Utrecht, (1979)"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/BF00263992","volume":"13","author":"E.M. Clarke","year":"1980","unstructured":"Clarke, E.M.: Proving correctness of coroutines without history variables. Acta Informat. 13, 169?188 (1980)","journal-title":"Acta Informat."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1007\/BF00571463","volume":"2","author":"M. Clint","year":"1973","unstructured":"Clint, M.: Program proving: coroutines. Acta Informat. 2, 50?63 (1973)","journal-title":"Acta Informat."},{"key":"CR4","unstructured":"Clint, M.: The specification and verification of a text-editing program. IEEE Trans. Software Engrg. (in press, 1981)"},{"key":"CR5","unstructured":"Clint, M., Vicent, C.: The use of ghost variables and virtual programming in the documentation and verification of programs. Software ? Practice and Experience (in press, 1981)"},{"key":"CR6","volume-title":"A discipline of programming","author":"E.W. Dijkstra","year":"1977","unstructured":"Dijkstra, E.W.: A discipline of programming. Englewood Cliffs, New York: Prentice-Hall, 1977"},{"key":"CR7","first-page":"322","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic approach to computer programming. Comm. ACM 12, 322?329 (1969)","journal-title":"Comm. ACM"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Comm. ACM 21, 666?677 (1978)","journal-title":"Comm. ACM"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/BF00264565","volume":"5","author":"S. Katz","year":"1975","unstructured":"Katz, S., Manna, Z.: A closer look at termination. Acta Informat. 5, 333?352 (1975)","journal-title":"Acta Informat."},{"key":"CR10","volume-title":"Mathematical theory of computation","author":"Z. Manna","year":"1974","unstructured":"Manna, Z.: Mathematical theory of computation. New York: McGraw-Hill 1974"},{"key":"CR11","first-page":"41","volume":"30","author":"Z. Manna","year":"1980","unstructured":"Manna, Z.: Logic of programs. Information Processing 30, 41?51 (1980)","journal-title":"Information Processing"},{"key":"CR12","series-title":"Notes on Applied Science","volume-title":"Rounding errors in algebraic processes","author":"J.H. Wilkinson","year":"1963","unstructured":"Wilkinson, J.H.: Rounding errors in algebraic processes. Notes on Applied Science No. 32. London: HMSO 1963"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00289587.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00289587\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00289587","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T21:14:57Z","timestamp":1554758097000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00289587"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"references-count":12,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1981]]}},"alternative-id":["BF00289587"],"URL":"https:\/\/doi.org\/10.1007\/bf00289587","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1981]]}}}