{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:17Z","timestamp":1725662837477},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540089216"},{"type":"electronic","value":"9783540357575"}],"license":[{"start":{"date-parts":[[1978,1,1]],"date-time":"1978-01-01T00:00:00Z","timestamp":252460800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/3-540-08921-7_76","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T11:36:18Z","timestamp":1330169778000},"page":"286-297","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Structural invariants for some classes of structured programs"],"prefix":"10.1007","author":[{"given":"G\u00e9nand","family":"Jacob","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"25_CR1","first-page":"3","volume":"6","author":"J. Arsac","year":"1974","unstructured":"ARSAC J., NOLIN L., RUGGIU G., VASSEUR J.P., \"Le syst\u00e8me de Programmation EXEL\"; Revue technique Thompson-CSF vol. 6, 3 (1974)","journal-title":"Revue technique Thompson-CSF"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"ARSAC J., \"Langages sans \u00e9tiquettes et transformations de programmes\"; Second colloquium on Automata, Languages and Programming. Saarbr\u00fccken (1974)","DOI":"10.1007\/3-540-06841-4_55"},{"key":"25_CR3","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/355592.365646","volume":"9","author":"C. Bohm","year":"1966","unstructured":"BOHM C. and JACOPINI G., \"Flow diagrams, T\u00fcring machines and languages with only two formation rules\"; Comm. ACM 9 (1966), 366\u2013371","journal-title":"Comm. ACM"},{"key":"25_CR4","unstructured":"COUSINEAU J., \"Transformations de programmes it\u00e9ratifs\"; in Programmation, Proceedings of the 2nd international symposium on Programming, edited by B. Robinet, Paris (1976 \u2014 DUNOD). 53\u201374"},{"key":"25_CR5","unstructured":"COUSINEAU J., \"Arbres \u00e0 feuilles indici\u00e9es et transformations de programmes\"; th\u00e8se es sci. Math\u00e9matiques, Universit\u00e9 de Paris VII, (1977)"},{"key":"25_CR6","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/S0022-0000(73)80040-6","volume":"7","author":"S. J. Garland","year":"1973","unstructured":"GARLAND S.J. and LUCKHAM D.C., \"Program Schemes, Recursion Schemes, and formal Languages\"; J. Comput. Syst. Sci., 7 (1973) 119\u2013160","journal-title":"J. Comput. Syst. Sci."},{"key":"25_CR7","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1137\/0201014","volume":"1","author":"M. S. Hecht","year":"1972","unstructured":"HECHT M.S. and ULLMAN J.D., \"Flow graph reducibility\", SIAM J. Comput., 1 (1972) 188\u2013202","journal-title":"SIAM J. Comput."},{"key":"25_CR8","first-page":"82","volume":"1","author":"Iu. I. Ianov","year":"1960","unstructured":"IANOV Iu. I., \"The logical schemes of algorithms\"; Problemy Kibernet., 1 (1960) 82\u2013140","journal-title":"Problemy Kibernet."},{"key":"25_CR9","unstructured":"IRLIK J., \"Translating some recursive procedures into iterative schemas\"; in Programmation, Proceedings of the 2nd international symposium on Programming, edited by B. Robinet, Paris (1976 \u2014 DUNOD) 39\u201352"},{"key":"25_CR10","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S0022-0000(74)80006-1","volume":"9","author":"T. Kasat","year":"1974","unstructured":"KASAT T., \"Translatability of flowcharts into WHILE programs\"; J. Comput. Syst. Sci., 9 (1974) 177\u2013195","journal-title":"J. Comput. Syst. Sci."},{"key":"25_CR11","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/0020-0190(72)90054-3","volume":"1","author":"D. E. Knuth","year":"1971","unstructured":"KNUTH D.E. and FLOYD R.W., \"Notes on avoiding \"GO TO\" statements\"; Information Processing Letters, 1 (1971); Errata (1972), 177","journal-title":"Information Processing Letters"},{"key":"25_CR12","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1016\/S0022-0000(74)80043-7","volume":"9","author":"R. Kosaraju","year":"1974","unstructured":"KOSARAJU R., \"Analysis of structured programs\"; J. Comput. Syst. Sci., 9 (1974) 232\u2013255","journal-title":"J. Comput. Syst. Sci."},{"key":"25_CR13","unstructured":"MANNA Z., \"Mathematical theory of Computing\"; Addison Wesley"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"NOLIN L., RUGGIU G., \"Formalization of EXEL\"; ACM Symposium on the principles of Programming Languages; Boston (1973)","DOI":"10.1145\/512927.512937"},{"key":"25_CR15","unstructured":"JACOB G., \"Programmes r\u00e9ductibles \u00e0 une formule EXEL de rang donn\u00e9\"; Colloque \u2018AFCET-Informatique 78'; Paris, novembre 1978."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1978"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08921-7_76","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:47:16Z","timestamp":1558255636000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08921-7_76"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9783540089216","9783540357575"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-08921-7_76","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1978]]},"assertion":[{"value":"24 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}