{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:14:17Z","timestamp":1725891257818},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540643005"},{"type":"electronic","value":"9783540697206"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0053540","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T01:19:46Z","timestamp":1149643186000},"page":"35-47","source":"Crossref","is-referenced-by-count":0,"title":["The WHILE hierarchy of program schemes is infinite"],"prefix":"10.1007","author":[{"given":"Can Adam","family":"Albayrak","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Noll","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"issue":"5","key":"3_CR1","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/355592.365646","volume":"9","author":"C. B\u00f6hm","year":"1966","unstructured":"Corrado B\u00f6hm and Giuseppe Jacopini. Flow diagrams, Turing machines and languages with only two formation rules. Communications of the ACM, 9(5):366\u2013371, 1966.","journal-title":"Communications of the ACM"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1137\/0201017","volume":"1","author":"S. Brown","year":"1972","unstructured":"Steven Brown, David Gries, and Thomas Szymanski. Program schemes with pushdown stores. SIAM Journal on Computing, 1:242\u2013268, 1972.","journal-title":"SIAM Journal on Computing"},{"key":"3_CR3","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1016\/S0022-0000(70)80024-1","volume":"4","author":"R. S. Cohen","year":"1970","unstructured":"Rina S. Cohen and Janusz A. Brzozowski. General properties of star heigt of regular events. Journal of Computer and System Sciences, 4:260\u2013280, 1970.","journal-title":"Journal of Computer and System Sciences"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/S0019-9958(66)90083-0","volume":"9","author":"F. Dejean","year":"1966","unstructured":"F. Dejean and M. P. Sch\u00fctzenberger. On a question of Eggan. Information and Control, 9:23\u201325, 1966.","journal-title":"Information and Control"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1307\/mmj\/1028998975","volume":"10","author":"L. C. Eggan","year":"1963","unstructured":"L. C. Eggan. Transition graphs and the star-height of regular events. The Michigan Mathematical Journal, 10:385\u2013397, 1963.","journal-title":"The Michigan Mathematical Journal"},{"issue":"1","key":"3_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/377924.377926","volume":"12","author":"I. I. Ianov","year":"1958","unstructured":"Iu. I. Ianov. On matrix program schemes. Communications of the ACM, 12(1):3\u20136, 1958.","journal-title":"Communications of the ACM"},{"issue":"1","key":"3_CR7","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/368924.368930","volume":"10","author":"I. I. Ianov","year":"1958","unstructured":"Iu. I. Ianov. On the equivalence and transformation of program schemes. Communications of the ACM, 10(1):8\u201312, 1958.","journal-title":"Communications of the ACM"},{"key":"3_CR8","first-page":"82","volume":"1","author":"I. I. Ianov","year":"1960","unstructured":"Iu. I. Ianov. The logical schemes of algorithms. Problems of Cybernetics, 1:82\u2013140, 1960.","journal-title":"Problems of Cybernetics"},{"key":"3_CR9","unstructured":"Klaus Indermark. On a class of schematic languages. In R. Aguilar, editor, Formal Languages and Programming, Proceedings of a Seminar Organized by UAM-IBM Scientific Center, pages 1\u201313, 1975."},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1007\/BF01565439","volume":"112","author":"S. C. Kleene","year":"1936","unstructured":"S. C. Kleene. General recursive functions of natural numbers. Mathematische Annalen, 112:727\u2013742, 1936.","journal-title":"Mathematische Annalen"},{"issue":"3","key":"3_CR11","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1016\/S0022-0000(70)80022-8","volume":"4","author":"D. C. Luckham","year":"1970","unstructured":"D. C. Luckham, D. M. R. Park, and M. S. Paterson. On formalised computer programs. Journal of Computer and System Sciences, 4(3):220\u2013249, 1970.","journal-title":"Journal of Computer and System Sciences"},{"key":"3_CR12","volume-title":"Technical Report AI memo 201","author":"M. S. Paterson","year":"1970","unstructured":"Michael S. Paterson and Carl E. Hewitt. Comparative schematology. Technical Report AI memo 201, MIT AI Lab, Publications Office, 545 Technology Sq. Cambridge, MA 02139, 1970."},{"issue":"1","key":"3_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/321203.321204","volume":"11","author":"J. D. Rutledge","year":"1964","unstructured":"Joseph D. Rutledge. On Ianov's program schemata. Journal of the ACM, 11(1):1\u20139, 1964.","journal-title":"Journal of the ACM"},{"key":"3_CR14","unstructured":"Arto Salomaa. Jewels of formal language theory. Computer Science Press, 1981."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053540","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,10]],"date-time":"2019-02-10T18:20:36Z","timestamp":1549822836000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053540"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643005","9783540697206"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0053540","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}