{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:30:40Z","timestamp":1761597040185},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2007,7,26]],"date-time":"2007-07-26T00:00:00Z","timestamp":1185408000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/2.0"},{"start":{"date-parts":[[2007,7,26]],"date-time":"2007-07-26T00:00:00Z","timestamp":1185408000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/2.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Theory Comput Syst"],"published-print":{"date-parts":[[2008,12]]},"DOI":"10.1007\/s00224-007-9035-4","type":"journal-article","created":{"date-parts":[[2007,7,25]],"date-time":"2007-07-25T17:41:07Z","timestamp":1185385267000},"page":"410-424","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Division Safe Calculation in Totalised Fields"],"prefix":"10.1007","volume":"43","author":[{"given":"J. A.","family":"Bergstra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. V.","family":"Tucker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,7,26]]},"reference":[{"key":"9035_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/11780342_5","volume-title":"Logical Approaches to Computational Barriers. Proceedings of Computability in Europe 2006","author":"J.A. Bergstra","year":"2006","unstructured":"Bergstra, J.A.: Elementary algebraic specifications of the rational function field. In: Beckmann, A., et al. (eds.) Logical Approaches to Computational Barriers. Proceedings of Computability in Europe 2006. Lecture Notes in Computer Science, vol. 3988, pp. 40\u201354. Springer, New York (2006)"},{"key":"9035_CR2","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1016\/S0019-9958(82)80021-1","volume":"54","author":"J.A. Bergstra","year":"1982","unstructured":"Bergstra, J.A., Tucker, J.V.: The completeness of the algebraic specification methods for data types. Inf. Control 54, 186\u2013200 (1982)","journal-title":"Inf. Control"},{"key":"9035_CR3","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1137\/0212024","volume":"12","author":"J.A. Bergstra","year":"1983","unstructured":"Bergstra, J.A., Tucker, J.V.: Initial and final algebra semantics for data type specifications: two characterisation theorems. SIAM J. Comput. 12, 366\u2013387 (1983)","journal-title":"SIAM J. Comput."},{"key":"9035_CR4","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/0304-3975(87)90123-X","volume":"50","author":"J.A. Bergstra","year":"1987","unstructured":"Bergstra, J.A., Tucker, J.V.: Algebraic specifications of computable and semicomputable data types. Theor. Comput. Sci. 50, 137\u2013181 (1987)","journal-title":"Theor. Comput. Sci."},{"key":"9035_CR5","doi-asserted-by":"publisher","first-page":"1194","DOI":"10.1145\/227683.227687","volume":"42","author":"J.A. Bergstra","year":"1995","unstructured":"Bergstra, J.A., Tucker, J.V.: Equational specifications, complete term rewriting systems, and computable and semicomputable algebras. J. ACM 42, 1194\u20131230 (1995)","journal-title":"J. ACM"},{"key":"9035_CR6","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/0168-0072(94)00038-5","volume":"73","author":"J.A. Bergstra","year":"1995","unstructured":"Bergstra, J.A., Tucker, J.V.: The data type variety of stack algebras. Ann. Pure Appl. Log. 73, 11\u201336 (1995)","journal-title":"Ann. Pure Appl. Log."},{"key":"9035_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/11780274_24","volume-title":"Algebra, Meaning and Computation. Goguen Festschrift","author":"J.A. Bergstra","year":"2006","unstructured":"Bergstra, J.A., Tucker, J.V.: Elementary algebraic specifications of the rational complex numbers. In: Futatsugi, K., et al. (eds.) Algebra, Meaning and Computation. Goguen Festschrift. Lecture Notes in Computer Science, vol. 4060, pp. 459\u2013475. Springer, New York (2006)"},{"key":"9035_CR8","doi-asserted-by":"crossref","unstructured":"Bergstra, J.A., Tucker, J.V.: The rational numbers as an abstract data type. J. ACM 54(2), Article 7 (April 2007), 25 pages","DOI":"10.1145\/1219092.1219095"},{"key":"9035_CR9","doi-asserted-by":"publisher","first-page":"360","DOI":"10.2307\/2589182","volume":"107","author":"N. Calkin","year":"2000","unstructured":"Calkin, N., Wilf, H.S.: Recounting the rationals. Am. Math. Mon. 107, 360\u2013363 (2000)","journal-title":"Am. Math. Mon."},{"key":"9035_CR10","first-page":"80","volume-title":"Current Trends in Programming Methodology. IV. Data Structuring","author":"J.A. Goguen","year":"1978","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G.: An initial algebra approach to the specification, correctness and implementation of abstract data types. In: Yeh, R.T. (ed.) Current Trends in Programming Methodology. IV. Data Structuring, pp. 80\u2013149. Prentice-Hall, Englewood Cliffs (1978)"},{"key":"9035_CR11","unstructured":"Hirschfeld, Y.: Personal communication (August 2006)"},{"key":"9035_CR12","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511551574","volume-title":"Model Theory","author":"W. Hodges","year":"1993","unstructured":"Hodges, W.: Model Theory. Cambridge University Press, Cambridge (1993)"},{"issue":"3","key":"9035_CR13","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/988071.988075","volume":"14","author":"S. Kamin","year":"1979","unstructured":"Kamin, S.: Some definitions for algebraic data type specifications. SIGLAN Not. 14(3), 28 (1979)","journal-title":"SIGLAN Not."},{"key":"9035_CR14","series-title":"Mathematical Structures","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1093\/oso\/9780198537359.003.0003","volume-title":"Handbook of Logic in Computer Science","author":"K. Meinke","year":"1992","unstructured":"Meinke, K., Tucker, J.V.: Universal algebra. In: Abramsky, S., Gabbay, D., Maibaum, T. (eds.) Handbook of Logic in Computer Science. Mathematical Structures, vol. I, pp. 189\u2013411. Oxford University Press, Oxford (1992)"},{"key":"9035_CR15","first-page":"459","volume-title":"Algebraic Methods in Semantics","author":"J. Meseguer","year":"1986","unstructured":"Meseguer, J., Goguen, J.A.: Initiality, induction, and computability. In: Nivat, M. (ed.) Algebraic Methods in Semantics, pp. 459\u2013541. Cambridge University Press, Cambridge (1986)"},{"key":"9035_CR16","first-page":"291","volume":"4","author":"L. Moss","year":"2001","unstructured":"Moss, L.: Simple equational specifications of rational arithmetic. Discret. Math. Theor. Comput. Sci. 4, 291\u2013300 (2001)","journal-title":"Discret. Math. Theor. Comput. Sci."},{"key":"9035_CR17","series-title":"Semantic Modelling","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1093\/oso\/9780198537809.003.0004","volume-title":"Handbook of Logic in Computer Science","author":"V. Stoltenberg-Hansen","year":"1995","unstructured":"Stoltenberg-Hansen, V., Tucker, J.V.: Effective algebras. In: Abramsky, S., Gabbay, D., Maibaum, T. (eds.) Handbook of Logic in Computer Science. Semantic Modelling, vol. IV, pp. 357\u2013526. Oxford University Press, Oxford (1995)"},{"key":"9035_CR18","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1016\/S0049-237X(99)80028-7","volume-title":"Handbook of Computability Theory","author":"V. Stoltenberg-Hansen","year":"1999","unstructured":"Stoltenberg-Hansen, V., Tucker, J.V.: Computable rings and fields. In: Griffor, E. (ed.) Handbook of Computability Theory, pp. 363\u2013447. Elsevier, Amsterdam (1999)"},{"key":"9035_CR19","series-title":"Cambridge Tracts in Theoretical Computer Science","volume-title":"Term Rewriting Systems","author":"K. Terese","year":"2003","unstructured":"Terese, K.: Term Rewriting Systems. Cambridge Tracts in Theoretical Computer Science, vol.\u00a055. Cambridge University Press, Cambridge (2003)"},{"key":"9035_CR20","series-title":"EATCS Monographs in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-76771-5","volume-title":"Universal Algebra for Computer Scientists","author":"W. Wechler","year":"1992","unstructured":"Wechler, W.: Universal Algebra for Computer Scientists. EATCS Monographs in Computer Science. Springer, New York (1992)"},{"key":"9035_CR21","series-title":"Formal Models and Semantics","first-page":"675","volume-title":"Handbook of Theoretical Computer Science","author":"M. Wirsing","year":"1990","unstructured":"Wirsing, M.: Algebraic specifications. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Semantics, vol. B, pp. 675\u2013788. North-Holland, Amsterdam (1990)"}],"container-title":["Theory of Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-007-9035-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00224-007-9035-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-007-9035-4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-007-9035-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T01:47:22Z","timestamp":1708134442000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00224-007-9035-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,26]]},"references-count":21,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2008,12]]}},"alternative-id":["9035"],"URL":"https:\/\/doi.org\/10.1007\/s00224-007-9035-4","relation":{},"ISSN":["1432-4350","1433-0490"],"issn-type":[{"value":"1432-4350","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,7,26]]},"assertion":[{"value":"26 July 2007","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}