{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:33Z","timestamp":1725663273052},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540514985"},{"type":"electronic","value":"9783540481805"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51498-8_5","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:02:20Z","timestamp":1330185740000},"page":"47-57","source":"Crossref","is-referenced-by-count":0,"title":["The equational logic of iterative processes"],"prefix":"10.1007","author":[{"given":"Stephen L.","family":"Bloom","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"5_CR1","unstructured":"J. Adamek. Free algebras and automata realizations in the language of category theory. Comm. Math. Univer. Carolinae, pages 589\u2013602, 1974."},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/0021-8693(80)90212-4","volume":"1","author":"M. A. Arbib","year":"1980","unstructured":"M.A. Arbib and E. Manes. Partially additive categories and flow-diagram semantics. J. Algebra, (1):203\u2013227, 1980.","journal-title":"J. Algebra"},{"key":"5_CR3","unstructured":"S.L. Bloom and Z. \u00c9sik. Floyd-Hoare logic in iteration theories. Submitted for publication."},{"issue":"5","key":"5_CR4","doi-asserted-by":"publisher","first-page":"939","DOI":"10.1137\/0217059","volume":"17","author":"S. L. Bloom","year":"1988","unstructured":"S.L. Bloom and Z. \u00c9sik. Varieties of iteration theories. SIAM Journal of Computing, 17(5):939\u2013966, 1988.","journal-title":"SIAM Journal of Computing"},{"issue":"3","key":"5_CR5","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1016\/0304-3975(89)90012-1","volume":"63","author":"S. L. Bloom","year":"1989","unstructured":"S.L. Bloom and Z. \u00c9sik. Equational logic of circular data type specification. Theoretical Computer Science, 63(3):303\u2013331, 1989.","journal-title":"Theoretical Computer Science"},{"key":"5_CR6","unstructured":"S.L. Bloom and Zolt\u00e1n \u00c9sik. Matrix and matricial iteration theories. Submitted for publication."},{"key":"5_CR7","unstructured":"Stephen L. Bloom. A note on guarded theories. Lecture Notes in Computer Science. Springer-Verlag. To appear."},{"key":"5_CR8","volume-title":"Regular Algebras and Finite Machines","author":"J. Conway","year":"1971","unstructured":"John Conway. Regular Algebras and Finite Machines. Chapman and Hall, London, 1971."},{"key":"5_CR9","volume-title":"Logic Colloquium 1973, Studies in Logic, Volume 80","author":"Calvin C. C. Elgot","year":"1975","unstructured":"Calvin C. Elgot. Monadic computation and iterative algebraic theories. In J. C. Shepherson, editor, Logic Colloquium 1973, Studies in Logic, Volume 80. North Holland, Amsterdam, 1975."},{"issue":"1","key":"5_CR10","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/TSE.1976.233800","volume":"SE-2","author":"Calvin C. C. Elgot","year":"1976","unstructured":"Calvin C. Elgot. Structured programming with and without goto statements. IEEE Transactions on Software Engineering SE-2, (1):41\u201354, 1976.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR11","first-page":"183","volume":"14","author":"Z. \u00c9sik","year":"1980","unstructured":"Z. \u00c9sik. Identities in iterative and rational theories. Computational Linguistics and Computer Languages, 14:183\u2013207, 1980.","journal-title":"Computational Linguistics and Computer Languages"},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/0022-0000(87)90011-0","volume":"35","author":"Gh. \u015etefanescu","year":"1987","unstructured":"Gh. \u015etefanescu. On flowchart theories: Part I. The deterministic case. Journal of Computers and System Science, (35):163\u2013191, 1987.","journal-title":"Journal of Computers and System Science"},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/BF01752392","volume":"14","author":"D. Lehmann","year":"1981","unstructured":"D. Lehmann and M.B. Smyth. Algebraic specification of data types: a synthetic approach. Mathematical Systems Theory, 14:97\u2013139, 1981.","journal-title":"Mathematical Systems Theory"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"E. G. Manes. Assertional categories. Volume 298 of Lecture Notes in Computer Science, pages 85\u2013120. Springer-Verlag, 1987.","DOI":"10.1007\/3-540-19020-1_5"},{"issue":"4","key":"5_CR15","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1137\/0211062","volume":"11","author":"M. B. Smyth","year":"1982","unstructured":"M.B. Smyth and G.D. Plotkin. The category theoretic solution of recursive domain equations. SIAM Journal of Computing, 11(4):761\u2013783, 1982.","journal-title":"SIAM Journal of Computing"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"E.G. Wagner, J.W. Thatcher, and J.B. Wright. Programming languages as mathematical objects. Volume 64 of Lecture Notes in Computer Science, pages 84\u2013101. Springer-Verlag, 1978.","DOI":"10.1007\/3-540-08921-7_58"},{"key":"5_CR17","volume-title":"Computability. EATCS Monographs on Theoretical Computer Science","author":"K. Weihrauch","year":"1987","unstructured":"Klaus Weihrauch. Computability. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, Berlin, Heidelberg, New York, Tokyo, 1987."},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"J.B. Wright, J.W. Thatcher, J. Goguen, and E.G. Wagner. Rational algebraic theories and fixed-point solutions. Proceedings 17th IEEE Symposium on Foundations of Computing, pages 147\u2013158, Houston, Texas, 1976.","DOI":"10.1109\/SFCS.1976.24"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51498-8_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:21:39Z","timestamp":1605630099000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51498-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540514985","9783540481805"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-51498-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}