{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:02:16Z","timestamp":1725483736301},"publisher-location":"Berlin, Heidelberg","reference-count":60,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540679011"},{"type":"electronic","value":"9783540446125"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44612-5_2","type":"book-chapter","created":{"date-parts":[[2007,5,5]],"date-time":"2007-05-05T13:28:20Z","timestamp":1178371700000},"page":"21-35","source":"Crossref","is-referenced-by-count":2,"title":["Abstract Data Types in Computer Algebra"],"prefix":"10.1007","author":[{"given":"James H.","family":"Davenport","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1145\/32439.32490","volume-title":"Proc. SYMSAC 86","author":"J.A. Abbott","year":"1986","unstructured":"Abbott, J.A., Bradford, R.J& Davenport, J.H., The Bath Algebraic Number Package. Proc. SYMSAC 86, ACM, New York, 1986, pp. 250\u2013253."},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/32439.32444","volume-title":"Proc. SYMSAC 86","author":"S.K. Abdali","year":"1986","unstructured":"Abdali, S.K., Cherry, G.W. & Soiffer, N., An Object-oriented Approach to Algebra System Design. Proc. SYMSAC 86, ACM, New York, 1986, pp. 24\u201330."},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1145\/960112.28724","volume":"21","author":"S.K. Abdali","year":"1986","unstructured":"Abdali, S.K., Cherry, G.W. & Soiffer, N., A Smalltalk System for Algebraic Manipulation. Proc. OOPSLA 86 SIGPLAN Notices 21 1986 11) pp. 277\u2013283.","journal-title":"Proc. OOPSLA 86 SIGPLAN Notices"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"565","DOI":"10.2307\/2004533","volume":"22","author":"E.H. Bareiss","year":"1968","unstructured":"Bareiss, E.H., Sylvester\u2019s Identity and Multistep Integer-preserving Gaussian Elimination. Math. Comp. 22 1968 pp. 565\u2013578. Zbl. 187,97.","journal-title":"Math. Comp."},{"unstructured":"Becker, T. & Weispfeninng, V. (with H. Kredel), Groebner Bases. A Computational Approach to Commutative Algebra. Springer Verlag, Graduate Texts in Mathematics 141, 1993.","key":"2_CR5"},{"doi-asserted-by":"crossref","unstructured":"Boehm, H.-J., Cartwright, R., Riggle, M. & O\u2019Donnell, M.J., Exact Real Arithmetic: A Case Study in Higher Order Programming. Proc. LISP & Functional Programming (ACM, 1986) pp. 162\u2013173.","key":"2_CR6","DOI":"10.1145\/319838.319860"},{"key":"2_CR7","volume-title":"MACSYMA Reference Manual (version 9)","author":"R.A. Bogen","year":"1977","unstructured":"Bogen, R.A. et al., MACSYMA Reference Manual (version 9). M.I.T. Laboratory for Computer Science, Cambridge, Mass., 1977."},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1145\/190347.190362","volume-title":"Proc. ISSAC 1994","author":"W. Bosma","year":"1994","unstructured":"Bosma, W., Cannon, J.& Matthews, G., Programming with algebraic structures: design of the Magma language. Proc. ISSAC 1994, ACM, New York, 1994, pp. 52\u201357."},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1006\/jsco.1996.0125","volume":"24","author":"W. Bosma","year":"1997","unstructured":"Bosma, W., Cannon, J.& Playoust, C., The Magma algebra system. I: The user language. J. Symbolic Comp. 24 1997 pp. 235\u2013265. Zbl. 898.68039.","journal-title":"J. Symbolic Comp."},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1145\/32439.32460","volume-title":"Proc. SYMSAC 86","author":"R.J. Bradford","year":"1986","unstructured":"Bradford, R.J., Hearn, A.C., Padget, J.A. & Schrufer, E., Enlarging the REDUCE Domain of Computation. Proc. SYMSAC 86, ACM, New York, 1986, pp. 100\u2013106."},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/S0747-7171(08)80110-1","volume":"11","author":"H. Comon","year":"1991","unstructured":"Comon, H., Lugiez, D. & Schnoebelen, P., A rewrite-based type discipline for a subset of computer algebra. J. Symbolic Comp. 11 1991 pp. 349\u2013368.","journal-title":"J. Symbolic Comp."},{"key":"2_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1007\/BFb0022505","volume-title":"Proc. MFCS 80","author":"M. Coppo","year":"1980","unstructured":"Coppo, M., An extended polymorphic type system for applicative languages. Proc. MFCS 80 (Springer Lecture Notes in Computer Science, Springer-Verlag, Berlin-Heidelberg-New York), pp. 194\u2013204."},{"key":"2_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1007\/3-540-52531-9_122","volume-title":"Proc. DISCO\u2019 90","author":"J.H. Davenport","year":"1990","unstructured":"Davenport, J.H. & Trager, B.M., Scratchpad\u2019s View of Algebra I: Basic Commutative Algebra. Proc. DISCO\u2019 90 Springer Lecture Notes in Computer Science Vol. 429, ed. A. Miola, Spinger-Verlag, 1990, pp. 40\u201354. A revised version is in Axiom Technical Report ATR\/1, Nag Ltd., December 1992."},{"key":"2_CR14","series-title":"A revised version is in Axiom Technical Report ATR\/2","first-page":"32","volume-title":"Proc. ISSAC 1991","author":"J.H. Davenport","year":"1992","unstructured":"Davenport, J.H., Gianni, P.& Trager, B.M., Scratchpad\u2019s View of Algebra II: A Categorical View of Factorization. Proc. ISSAC 1991 ed. S.M. Watt, ACM, New York, pp. 32\u201338. A revised version is in Axiom Technical Report ATR\/2, Nag Ltd., December 1992."},{"key":"2_CR15","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1098\/rspl.1866.0037","volume":"15","author":"C.L. Dodgson","year":"1866","unstructured":"Dodgson, C.L., Condensation of determinants, being a new and brief method for computing their algebraic value. Proc. Roy. Soc. Ser. A 15 1866 pp. 150\u2013155.","journal-title":"Proc. Roy. Soc. Ser. A"},{"unstructured":"Doye, N.J., Order Sorted Computer Algebra and Coercions. Ph.D. Thesis, University of Bath, 1997. http:\/\/www.bath.ac.uk\/~ccsnjd\/research\/phd.ps http:\/\/www.nic.uklinux.net\/research\/phd.ps","key":"2_CR16"},{"key":"2_CR17","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1145\/309831.309944","volume-title":"Proc. ISSAC 1999","author":"N.J. Doye","year":"1999","unstructured":"Doye, N.J., Automated Coercion for Axiom. Proc. ISSAC 1999 ed. S. Dooley, ACM, New York, 1999, pp. 229\u2013235."},{"unstructured":"Dunstan, M.N., Larch\/Aldor-A Larch BISL for AXIOM and Aldor. Ph.D. Thesis, University of St. Andrews, 1999.","key":"2_CR18"},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/281508.281560","volume-title":"Proc. ISSAC 1998","author":"M. Dunstan","year":"1998","unstructured":"Dunstan, M., Kelsey, T., Linton, S.& Martin, U., Lightweight Formal Methods for Computer Algebra Methods. Proc. ISSAC 1998 ed. O. Gloor, ACM, New York, 1998, pp. 80\u201387."},{"key":"2_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"1758","DOI":"10.1007\/3-540-48118-4_43","volume-title":"FM\u2019 99 Vol. II","author":"M. Dunstan","year":"1999","unstructured":"Dunstan, M., Kelsey, T., Linton, S. & Martin, U., Formal methods for extensions to CAS. FM\u2019 99 Vol. II Springer Lecture Notes in Computer Science Vol. 1709, ed. J.W.J. Wing, J. Woodcock & J. Davies, Springer-Verlag, 1999, pp. 1758\u20131777."},{"key":"2_CR21","first-page":"206","volume":"29","author":"H.-D. Ehrig","year":"1982","unstructured":"Ehrig, H.-D., On the Theory of Specification, Implementation and Parameterization of Abstract Data Types. J. A CM 29 1982 pp. 206\u2013227. MR 83g:68030.","journal-title":"J. A CM"},{"key":"2_CR22","volume-title":"EATCS Monographs in Theoretical Computer Science","author":"H. Ehrig","year":"1985","unstructured":"Ehrig, H.& Mahr, B., Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. EATCS Monographs in Theoretical Computer Science 6, Springer-Verlag, Berlin, 1985."},{"key":"2_CR23","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1006\/jsco.1993.1051","volume":"16","author":"J.-C. Faug\u00e9re","year":"1993","unstructured":"Faug\u00e9re, J.-C., Gianni, P., Lazard, D.& Mora, T., Efficient Computation of Zero-Dimensional Gr\u00f6bner Bases by Change of Ordering. J. Symbolic Comp. 16 1993 pp. 329\u2013344.","journal-title":"J. Symbolic Comp."},{"key":"2_CR24","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1007\/3-540-52531-9_124","volume-title":"Proc. DISCO\u2019 90","author":"A. Fortenbacher","year":"1990","unstructured":"Fortenbacher, A., Efficient Type Inference and Coercion in Computer Algebra. Proc. DISCO\u2019 90 Springer Lecture Notes in Computer Science Vol. 429, ed. A. Miola pp. 56\u201360."},{"key":"2_CR25","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1098\/rsta.1956.0003","volume":"248","author":"A. Fr\u00f6hlich","year":"1955","unstructured":"Fr\u00f6hlich, A.& Shepherdson, J.C., Effective Procedures in Field Theory. Phil. Trans. Roy. Soc. Ser. A 248 1955\u20136 pp. 407\u2013432. Zbl. 70,35.","journal-title":"Phil. Trans. Roy. Soc. Ser. A"},{"doi-asserted-by":"crossref","unstructured":"Goguen, J.A. & Malcolm, G. (eds.), Software Engineering with OBJ: algebraic specification in action. Kluwer, 2000.","key":"2_CR26","DOI":"10.1007\/978-1-4757-6541-0"},{"key":"2_CR27","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","author":"J.A. Goguen","year":"1992","unstructured":"Goguen, J.A. & Meseguer, J., Order-sorted Algebra I: Equational deduction for multiple inheritance, polymorphism and partial operations. Theor. Comp. Sci. 105 1992 pp. 217\u2013293.","journal-title":"Theor. Comp. Sci."},{"unstructured":"Goguen,J.A., Thatcher, J.W., Wagner, E.G. & Wright, J.B., A Junction Between Computer Science and Category Theory I: Basic Concepts and Examples (Part 1). IBM Research RC 4526, 11 September 1973.","key":"2_CR28"},{"unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G.& Wright, J.B., An Introduction to Categories, Algebraic Theories and Algebras. IBM Research RC 5369, 16 April 1975.","key":"2_CR29"},{"unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G. & Wright, J.B., A Junction Between Computer Science and Category Theory I: Basic Concepts and Examples (Part 2). IBM Research RC 5908, 18 March 1976.","key":"2_CR30"},{"key":"2_CR31","first-page":"68","volume":"24","author":"J.A. Goguen","year":"1977","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G.& Wright, J.B., Initial Algebra Semantics and Continuous Algebras. J. A CM 24 1977 pp. 68\u201395.","journal-title":"J. A CM"},{"key":"2_CR32","first-page":"23","volume":"9","author":"D. Gruntz","year":"1993","unstructured":"Gruntz, D. & Monagan, M., Introduction to Gauss. MapleTech: The Maple Technical Newsletter, Issue 9, Spring 1993, pp. 23\u201349.","journal-title":"MapleTech: The Maple Technical Newsletter"},{"doi-asserted-by":"crossref","unstructured":"Guttag, J.V. & Horning, J.J., Larch: Languages and Tools for Formal Specification. Texts and Monographs in Computer Science, Springer-Verlag, 1993.","key":"2_CR33","DOI":"10.1007\/978-1-4612-2704-5"},{"unstructured":"Hearn, A.C., REDUCE User\u2019s Manual, Version 3.4, July 1991. RAND Corporation Publication CP-78.","key":"2_CR34"},{"key":"2_CR35","series-title":"Lect Notes Comput Sci","volume-title":"Proc. DISCO\u2019 93","author":"A.C. Hearn","year":"1993","unstructured":"Hearn, A.C. & Schr\u00fcfer, E., An Order-Sorted Approach to Algebraic Computation. Proc. DISCO\u2019 93 ed. A. Miola, Springer Lecture Notes in Computer Science 722, Springer-Verlag, 1993, pp. 134-144."},{"key":"2_CR36","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"446","DOI":"10.1007\/3-540-15984-3_308","volume-title":"Proc. EUROCAL 85","author":"B. Hohfeld","year":"1985","unstructured":"Hohfeld, B., Correctness Proofs of the Implementation of Abstract Data Types. Proc. EUROCAL 85, Vol. 2 Springer Lecture Notes in Computer Science Vol. 204, Springer-Verlag, 1985) pp. 446\u2013447."},{"unstructured":"Hur, N., A Symbolic and Numeric Approach to Real Number Computation. Draft Ph.D. Thesis, University of Bath, 2000.","key":"2_CR37"},{"doi-asserted-by":"crossref","unstructured":"Hur, N. & Davenport, J.H., An Exact Real Algebraic Arithmetic with Equality Determination. Proc. ISSAC 2000 ed. C. Traverso, pp. 169\u2013174.","key":"2_CR38","DOI":"10.1145\/345542.345617"},{"key":"2_CR39","volume-title":"AXIOM: The Scientific Computation System","author":"R.D. Jenks","year":"1992","unstructured":"Jenks, R.D. & Sutor, R.S., AXIOM: The Scientific Computation System. Springer-Verlag, New York, 1992."},{"key":"2_CR40","series-title":"SIGPLAN Notices","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1145\/800206.806363","volume-title":"Proc. SYM-SAC 81","author":"R.D. Jenks","year":"1981","unstructured":"Jenks, R.D. & Trager, B.M., A Language for Computational Algebra. Proc. SYM-SAC 81, ACM, New York, 1981, pp. 6\u201313. Reprinted in SIGPLAN Notices 16 1981 No. 11, pp. 22\u201329."},{"unstructured":"Kelsey, T.W., Formal Methods and Computer Algebra: A Larch Specification of Axiom Categories and Functors. Ph.D. Thesis, St. Andrews, 2000.","key":"2_CR41"},{"key":"2_CR42","series-title":"Lect Notes Comput Sci","first-page":"348","volume-title":"Proc. EUROCAL 85","author":"E. Kounalis","year":"1985","unstructured":"Kounalis, E., Completeness in Data Type Specifications. Proc. EUROCAL 85, Vol. 2 Springer Lecture Notes in Computer Science Vol. 204, Springer-Verlag, 1985) pp. 348\u2013362."},{"unstructured":"M\u00e9nissier-Morain, V., Arithm\u00e9tique exacte, conception, algorithmique et performances d\u2019une impl\u00e9mentation informatique en pr\u00e9cision arbitraire. Th\u00e9se, Universit\u00e9 Paris 7, Dec. 1994.","key":"2_CR43"},{"key":"2_CR44","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/BFb0013170","volume-title":"Proc. DISCO\u2019 93","author":"B. Monagan","year":"1993","unstructured":"Monagan, B., Gauss: A Parameterized Domain of Computation System with Support for Signature Functions. Proc. DISCO\u2019 93 ed. A. Miola, Springer Lecture Notes in Computer Science 722, Springer-Verlag, 1993, pp. 81\u201394."},{"key":"2_CR45","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/3-540-11607-9_10","volume-title":"Proc. EUROCAM 82","author":"D.R. Musser","year":"1982","unstructured":"Musser, D.R. & Kapur, D., Rewrite Rule Theory and Abstract Data Type Analysis. Proc. EUROCAM 82 Springer Lecture Notes in Computer Science 144, Springer-Verlag, Berlin-Heidelberg-New York, 1982), pp. 77\u201390. MR 83m:68022."},{"unstructured":"Naylor, W.A., Polynomial GCD Using Straight Line Program Representation. Ph.D. Thesis, University of Bath, 2000.","key":"2_CR46"},{"unstructured":"Nordstr\u00f6m, B., Petersson, K.& Smith, J.M., Programming in Martin-L\u00f6f\u2019 Type Theory \u2014 An Introduction. OUP, 1990.","key":"2_CR47"},{"key":"2_CR48","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/10720084_10","volume-title":"Proc. Frontiers of Combining Systems: FroCoS 2000","author":"E. Poll","year":"2000","unstructured":"Poll, E. & Thompson, S., Integrating Computer Algebra and Reasoning through the Type System of Aldor. Proc. Frontiers of Combining Systems: FroCoS 2000 Springer Lecture Notes in Computer Science 1794, Springer-Verlag, 2000, ed. H. Kirchner & C. Ringeissen."},{"doi-asserted-by":"crossref","unstructured":"Rector, D.L., Semantics in Algebraic Computation. Computers and Mathematics ed. E. Kaltofen & S.M. Watt, Springer-Verlag, 1989, pp. 299\u2013307.","key":"2_CR49","DOI":"10.1007\/978-1-4613-9647-5_34"},{"key":"2_CR50","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/3-540-52531-9_133","volume-title":"Proc. DISCO\u2019 90","author":"J.-C. Reynaud","year":"1990","unstructured":"Reynaud, J.-C., Putting Algebraic Components Together: A Dependent Type Approach. Proc. DISCO\u2019 90 Springer Lecture Notes in Computer Science Vol. 429, ed. A. Miola pp. 141\u2013150."},{"key":"2_CR51","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/3-540-10250-7_24","volume-title":"Semantics-Directed Compiler Generation","author":"J.C. Reynolds","year":"1980","unstructured":"Reynolds, J.C., Using Category Theory to Design Implicit Conversions and Generic Operators. Semantics-Directed Compiler Generation Springer Lecture Notes in Computer Science 94, ed. N.D. Jones, 1980, pp. 211\u2013258."},{"doi-asserted-by":"crossref","unstructured":"Rotman, J.J., An Introduction to the Theory of Groups. Springer Graduate Texts in Mathematics 148, Springer-Verlag, 1995.","key":"2_CR52","DOI":"10.1007\/978-1-4612-4176-8"},{"unstructured":"Stoutemyer, D.R., Which Polynomial Representation is Best: Surprises Abound. Proc. 1984 MACSYMA Users\u2019 Conference (ed. V.E. Golden), G.E., Schenectady, pp. 221\u2013243.","key":"2_CR53"},{"key":"2_CR54","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1145\/960114.29656","volume":"22","author":"R.S. Sutor","year":"1987","unstructured":"Sutor, R.S. & Jenks, R.D., The Type Inference and Coercion Facilities in the Scratchpad II Interpreter. Proc. SIGPLAN\u2019 87 Symp. Interpreters and Interpretive Techniques SIGPLAN Notices 22 (1987) pp. 56\u201363.","journal-title":"SIGPLAN Notices"},{"unstructured":"Thatcher, J.W., Wagner, E.G.& Wright, J.B., Notes on Algebraic Fundamentals for Theoretical Computer Science. Foundations of Computer Science III (ed. J.W. de Bakker & J. van Leeuwen), Mathematical Centre Tract 109, Amsterdam, 1979.","key":"2_CR55"},{"key":"2_CR56","doi-asserted-by":"publisher","first-page":"711","DOI":"10.1145\/69622.357192","volume":"4","author":"J.W. Thatcher","year":"1982","unstructured":"Thatcher, J.W., Wagner, E.G. & Wright, J.B., Data Type Specification: Parameterization and the Power of Specification Techniques. ACM TOPLAS 4 (1982) pp. 711\u2013732.","journal-title":"ACM TOPLAS"},{"unstructured":"Thompson, S., Logic and dependent types in the Aldor Computer Algebra System. To appear in Proc. Calculemus 2000.","key":"2_CR57"},{"key":"2_CR58","volume-title":"Axiom Library Compiler User Guide","author":"S.M. Watt","year":"1994","unstructured":"Watt, S.M., Broadbery, P.A., Dooley, S.S., Iglio, P., Morrison, S.C., Steinbach, J.M. & Sutor, R.S., Axiom Library Compiler User Guide. NAG Ltd., Oxford, 1994."},{"key":"2_CR59","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1145\/190347.190434","volume-title":"Proc. ISSAC 1994","author":"A. Weber","year":"1994","unstructured":"Weber, A., Algorithms for type inference with coercions. Proc. ISSAC 1994, ACM, New York, 1994, pp. 324\u2013329."},{"key":"2_CR60","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/BFb0013185","volume-title":"Proc. DISCO\u2019 93","author":"R.E. Zippel","year":"1993","unstructured":"Zippel, R.E., The Weyl Computer Algebra Substrate. Proc. DISCO\u2019 93 (ed. A. Miola), Springer Lecture Notes in Computer Science 722, Springer-Verlag, 1993, pp. 303\u2013318."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44612-5_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T18:41:32Z","timestamp":1556390492000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44612-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540679011","9783540446125"],"references-count":60,"URL":"https:\/\/doi.org\/10.1007\/3-540-44612-5_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}