{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:52:51Z","timestamp":1762458771446},"publisher-location":"Berlin, Heidelberg","reference-count":56,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642041631"},{"type":"electronic","value":"9783642041648"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04164-8_4","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T12:10:48Z","timestamp":1252930248000},"page":"43-80","source":"Crossref","is-referenced-by-count":7,"title":["Order-Sorted Parameterization and Induction"],"prefix":"10.1007","author":[{"given":"Jos\u00e9","family":"Meseguer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","first-page":"1","volume":"10","author":"J. B\u00e9nabou","year":"1968","unstructured":"B\u00e9nabou, J.: Structures alg\u00e9briques dans les cat\u00e9gories. Cahiers de Topologie et G\u00e9ometrie Diff\u00e9rentielle\u00a010, 1\u2013126 (1968)","journal-title":"Cahiers de Topologie et G\u00e9ometrie Diff\u00e9rentielle"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Algebraic System Specification and Development","year":"1991","unstructured":"Bidoit, M., Kreowski, H.-J., Lescanne, P., Orejas, F., Sannella, D. (eds.): Algebraic System Specification and Development. LNCS, vol.\u00a0501. Springer, Heidelberg (1991)"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"CASL User Manual","year":"2004","unstructured":"Bidoit, M., Mosses, P.D. (eds.): CASL User Manual. LNCS, vol.\u00a02900. Springer, Heidelberg (2004)"},{"issue":"1-2","key":"4_CR4","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0304-3975(96)80708-0","volume":"170","author":"A. Bouhoula","year":"1996","unstructured":"Bouhoula, A.: Using induction and rewriting to verify and complete parameterized specifications. Theor. Comput. Sci.\u00a0170(1-2), 245\u2013276 (1996)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"4_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.2001.3036","volume":"169","author":"A. Bouhoula","year":"2001","unstructured":"Bouhoula, A., Jouannaud, J.-P.: Automata-driven automated induction. Inf. Comput.\u00a0169(1), 1\u201322 (2001)","journal-title":"Inf. Comput."},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0304-3975(99)00206-6","volume":"236","author":"A. Bouhoula","year":"2000","unstructured":"Bouhoula, A., Jouannaud, J.-P., Meseguer, J.: Specification and proof in membership equational logic. Theoretical Computer Science\u00a0236, 35\u2013132 (2000)","journal-title":"Theoretical Computer Science"},{"key":"4_CR7","unstructured":"Burstall, R., Goguen, J.: Putting theories together to make specifications. In: Reddy, R. (ed.) Proceedings, Fifth International Joint Conference on Artificial Intelligence, pp. 1045\u20131058. Department of Computer Science, Carnegie-Mellon University (1977)"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/3-540-10007-5_41","volume-title":"Abstract Software Specifications","author":"R. Burstall","year":"1980","unstructured":"Burstall, R., Goguen, J.A.: The semantics of Clear, a specification language. In: Bjorner, D. (ed.) Abstract Software Specifications. LNCS, vol.\u00a086, pp. 292\u2013332. Springer, Heidelberg (1980)"},{"key":"4_CR9","unstructured":"Clavel, M.: Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications. CSLI Publications (2000)"},{"key":"4_CR10","volume-title":"CAFE: An Industrial-Strength Algebraic Formal Method","author":"M. Clavel","year":"2000","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Meseguer, J.: Building equational proving tools by reflection in rewriting logic. In: CAFE: An Industrial-Strength Algebraic Formal Method. Elsevier, Amsterdam (2000), http:\/\/maude.cs.uiuc.edu"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Meseguer, J., Lincoln, P., Mart\u00ed-Oliet, N., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"4_CR12","unstructured":"Comon, H., Dauchet, M., Gilleron, R., L\u00f6ding, C., Jacquemard, F., Lugiez, D., Tison, S., Tommasi, M.: Tree automata techniques and applications (2007), http:\/\/www.grappa.univ-lille3.fr\/tata (Release, October 12th 2007)"},{"key":"4_CR13","first-page":"83","volume-title":"Logical Environments","author":"R. Diaconescu","year":"1993","unstructured":"Diaconescu, R., Goguen, J., Stefaneas, P.: Logical support for modularisation. In: Huet, G., Plotkin, G. (eds.) Logical Environments, pp. 83\u2013130. Cambridge UP, Cambridge (1993)"},{"issue":"1","key":"4_CR14","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1145\/322290.322303","volume":"29","author":"H.-D. Ehrich","year":"1982","unstructured":"Ehrich, H.-D.: On the theory of specification, implementation, and parametrization of abstract data types. J. ACM\u00a029(1), 206\u2013227 (1982)","journal-title":"J. ACM"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/0304-3975(83)90065-8","volume":"28","author":"H. Ehrig","year":"1984","unstructured":"Ehrig, H., Kreowski, H.-J., Thatcher, J.W., Wagner, E.G., Wright, J.B.: Parameter passing in algebraic specification languages. Theor. Comput. Sci.\u00a028, 45\u201381 (1984)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification","author":"H. Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification, vol.\u00a01. Springer, Heidelberg (1985)"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Futatsugi, K.: Verifying specifications with proof scores in CafeOBJ. In: ASE 2006, 21st IEEE\/ACM International Conference on Automated Software Engineering, pp. 3\u201310 (2006)","DOI":"10.1109\/ASE.2006.73"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Futatsugi, K., Diaconescu, R.: CafeOBJ Report. World Scientific, AMAST Series (1998)","DOI":"10.1142\/3831"},{"key":"4_CR19","first-page":"52","volume-title":"Proceedings of 12th ACM Symposium on Principles of Programming Languages","author":"K. Futatsugi","year":"1985","unstructured":"Futatsugi, K., Goguen, J., Jouannaud, J.-P., Meseguer, J.: Principles of OBJ2. In: Reid, B. (ed.) Proceedings of 12th ACM Symposium on Principles of Programming Languages, pp. 52\u201366. ACM Press, New York (1985)"},{"issue":"3","key":"4_CR20","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1145\/2166.357212","volume":"5","author":"H. Ganzinger","year":"1983","unstructured":"Ganzinger, H.: Parameterized specifications: Parameter passing and implementation with respect to observability. ACM Trans. Program. Lang. Syst.\u00a05(3), 318\u2013354 (1983)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"4_CR21","first-page":"218","volume-title":"Current Trends in Hardware Verification and Automated Theorem Proving","author":"J. Goguen","year":"1989","unstructured":"Goguen, J.: OBJ as a theorem prover with application to hardware verification. In: Subramanyam, P., Birtwistle, G. (eds.) Current Trends in Hardware Verification and Automated Theorem Proving, pp. 218\u2013267. Springer, Heidelberg (1989)"},{"issue":"1","key":"4_CR22","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"Goguen, J., Burstall, R.: Institutions: Abstract model theory for specification and programming. Journal of the ACM\u00a039(1), 95\u2013146 (1992)","journal-title":"Journal of the ACM"},{"key":"4_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/BFb0012775","volume-title":"Automata, Languages, and Programming","author":"J. Goguen","year":"1982","unstructured":"Goguen, J., Meseguer, J.: Universal realization, persistent interconnection and implementation of abstract modules. In: Nielsen, M., Schmidt, E.M. (eds.) ICALP 1982. LNCS, vol.\u00a0140, pp. 265\u2013281. Springer, Heidelberg (1982)"},{"key":"4_CR24","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"TAPSOFT 1987 Proceedings of the International Joint Conference on Theory and Practice of Software Development","author":"J. Goguen","year":"1987","unstructured":"Goguen, J., Meseguer, J.: Models and equality for logical programming. In: Ehrig, H., Levi, G., Montanari, U. (eds.) TAPSOFT 1987 and CFLP 1987. LNCS, vol.\u00a0250, pp. 1\u201322. Springer, Heidelberg (1987)"},{"key":"4_CR25","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","author":"J. Goguen","year":"1992","unstructured":"Goguen, J., Meseguer, J.: Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science\u00a0105, 217\u2013273 (1992)","journal-title":"Theoretical Computer Science"},{"key":"4_CR26","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-1-4757-6541-0_1","volume-title":"Software Engineering with OBJ: Algebraic Specification in Action","author":"J. Goguen","year":"2000","unstructured":"Goguen, J., Winkler, T., Meseguer, J., Futatsugi, K., Jouannaud, J.-P.: Introducing OBJ. In: Software Engineering with OBJ: Algebraic Specification in Action, pp. 3\u2013167. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"4_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/BFb0014312","volume-title":"Algebraic Methodology and Software Technology","author":"A.E. Haxthausen","year":"1996","unstructured":"Haxthausen, A.E., Nickl, F.: Pushouts of order-sorted algebraic specifications. In: Nivat, M., Wirsing, M. (eds.) AMAST 1996. LNCS, vol.\u00a01101, pp. 132\u2013147. Springer, Heidelberg (1996)"},{"key":"4_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-540-73449-9_18","volume-title":"Term Rewriting and Applications","author":"J. Hendrix","year":"2007","unstructured":"Hendrix, J., Meseguer, J.: On the completeness of context-sensitive order-sorted specifications. In: Baader, F. (ed.) RTA 2007. LNCS, vol.\u00a04533, pp. 229\u2013245. Springer, Heidelberg (2007)"},{"key":"#cr-split#-4_CR29.1","unstructured":"Hendrix, J., Meseguer, J.: Order-sorted equational unification revisited. Electr. Notes Theor. Comput. Sci (2008);"},{"key":"#cr-split#-4_CR29.2","unstructured":"To appear in Proc. of RULE 2008"},{"key":"4_CR30","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/11814771_14","volume-title":"Automated Reasoning","author":"J. Hendrix","year":"2006","unstructured":"Hendrix, J., Meseguer, J., Ohsaki, H.: A sufficient completeness checker for linear order-sorted specifications modulo axioms. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 151\u2013155. Springer, Heidelberg (2006)"},{"key":"4_CR31","unstructured":"Hendrix, J.D.: Decision Procedures for Equationally Based Reasoning. PhD thesis, University of Illinois at Urbana-Champaign, UIUCDCS-R-2008-2999 (2008), http:\/\/www.cs.uiuc.edu\/research\/phdtheses.php"},{"key":"4_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1007\/3-540-10009-1_25","volume-title":"5th Conference on Automated Deduction","author":"J.-M. Hullot","year":"1980","unstructured":"Hullot, J.-M.: Canonical forms and unification. In: Bibel, W. (ed.) CADE 1980. LNCS, vol.\u00a087, pp. 318\u2013334. Springer, Heidelberg (1980)"},{"key":"4_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/3-540-19488-6_123","volume-title":"Automata, Languages and Programming","author":"C. Kirchner","year":"1988","unstructured":"Kirchner, C., Kirchner, H., Meseguer, J.: Operational semantics of OBJ3. In: Lepist\u00f6, T., Salomaa, A. (eds.) ICALP 1988. LNCS, vol.\u00a0317, pp. 287\u2013301. Springer, Heidelberg (1988)"},{"key":"4_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/3-540-53904-2_95","volume-title":"Rewriting Techniques and Applications","author":"H. Kirchner","year":"1991","unstructured":"Kirchner, H.: Proofs in parameterized specifications. In: Book, R.V. (ed.) RTA 1991. LNCS, vol.\u00a0488, pp. 174\u2013187. Springer, Heidelberg (1991)"},{"key":"4_CR35","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1073\/pnas.50.5.869","volume":"50","author":"F.W. Lawvere","year":"1963","unstructured":"Lawvere, F.W.: Functorial semantics of algebraic theories. Proceedings National Academy of Sciences\u00a050, 869\u2013873 (1963); Summary of Ph.D. Thesis, Columbia University","journal-title":"Proceedings National Academy of Sciences"},{"key":"4_CR36","volume-title":"Categories for the Working Mathematician","author":"S. MacLane","year":"1971","unstructured":"MacLane, S.: Categories for the Working Mathematician. Springer, Heidelberg (1971)"},{"key":"4_CR37","first-page":"275","volume-title":"Logic Colloquium 1987","author":"J. Meseguer","year":"1989","unstructured":"Meseguer, J.: General logics. In: Logic Colloquium 1987, pp. 275\u2013329. North-Holland, Amsterdam (1989)"},{"key":"4_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-64299-4_26","volume-title":"Recent Trends in Algebraic Development Techniques","author":"J. Meseguer","year":"1998","unstructured":"Meseguer, J.: Membership algebra as a logical framework for equational specification. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol.\u00a01376, pp. 18\u201361. Springer, Heidelberg (1998)"},{"key":"4_CR39","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1016\/S0747-7171(89)80036-7","volume":"8","author":"J. Meseguer","year":"1989","unstructured":"Meseguer, J., Goguen, J., Smolka, G.: Order-sorted unification. J. Symbolic Computation\u00a08, 383\u2013413 (1989)","journal-title":"J. Symbolic Computation"},{"key":"4_CR40","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569869","volume-title":"Action Semantics","author":"P. Mosses","year":"1992","unstructured":"Mosses, P.: Action Semantics. Cambridge University Press, Cambridge (1992)"},{"key":"4_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/3-540-13346-1_4","volume-title":"Semantics of Data Types","author":"P.D. Mosses","year":"1984","unstructured":"Mosses, P.D.: A basic abstract semantic algebra. In: Plotkin, G., MacQueen, D.B., Kahn, G. (eds.) Semantics of Data Types 1984. LNCS, vol.\u00a0173, pp. 87\u2013107. Springer, Heidelberg (1984)"},{"key":"4_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/BFb0028970","volume-title":"STACS 89","author":"P.D. Mosses","year":"1989","unstructured":"Mosses, P.D.: Unified algebras and action semantics. In: Cori, R., Monien, B. (eds.) STACS 1989. LNCS, vol.\u00a0349, pp. 17\u201335. Springer, Heidelberg (1989)"},{"key":"4_CR43","doi-asserted-by":"crossref","unstructured":"Mosses, P.D.: Unified algebras and institutions. In: Proc. Fourth Annual IEEE Symp. on Logic in Computer Science, Asilomar, California, June 1989, pp. 304\u2013312 (1989)","DOI":"10.1109\/LICS.1989.39185"},{"key":"4_CR44","doi-asserted-by":"crossref","unstructured":"Mosses, P.D.: Unified algebras and modules. In: POPL, pp. 329\u2013343 (1989)","DOI":"10.1145\/75277.75306"},{"key":"4_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/3-540-56379-2_35","volume-title":"Recent Trends in Data Type Specification","author":"P.D. Mosses","year":"1991","unstructured":"Mosses, P.D.: The use of sorts in algebraic specifications. In: Bidoit, M., Choppy, C. (eds.) COMPASS\/ADT 1991. LNCS, vol.\u00a0655, pp. 66\u201392. Springer, Heidelberg (1991)"},{"key":"4_CR46","series-title":"Lecture Notes in Computer Science","volume-title":"CASL Reference Manual","year":"2004","unstructured":"Mosses, P.D. (ed.): CASL Reference Manual. LNCS, vol.\u00a02960. Springer, Heidelberg (2004)"},{"key":"4_CR47","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/j.jlap.2004.03.008","volume":"60-61","author":"P.D. Mosses","year":"2004","unstructured":"Mosses, P.D.: Modular structural operational semantics. J. Log. Algebr. Program.\u00a060-61, 195\u2013228 (2004)","journal-title":"J. Log. Algebr. Program."},{"issue":"2\/3","key":"4_CR48","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0022-0000(87)90024-9","volume":"34","author":"P. Padawitz","year":"1987","unstructured":"Padawitz, P.: Parameter-preserving data type specifications. J. Comput. Syst. Sci.\u00a034(2\/3), 179\u2013209 (1987)","journal-title":"J. Comput. Syst. Sci."},{"issue":"2\/3","key":"4_CR49","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/0890-5401(88)90006-5","volume":"76","author":"P. Padawitz","year":"1988","unstructured":"Padawitz, P.: The equational theory of parameterized specifications. Inf. Comput.\u00a076(2\/3), 121\u2013137 (1988)","journal-title":"Inf. Comput."},{"issue":"2","key":"4_CR50","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/0022-0000(90)90013-B","volume":"40","author":"A. Poign\u00e9","year":"1990","unstructured":"Poign\u00e9, A.: Parametrization for order-sorted algebraic specification. J. Comput. Syst. Sci.\u00a040(2), 229\u2013268 (1990)","journal-title":"J. Comput. Syst. Sci."},{"issue":"3","key":"4_CR51","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1016\/S0022-0000(05)80074-1","volume":"49","author":"Z. Qian","year":"1994","unstructured":"Qian, Z.: Another look at parameterization for order-sorted algebraic specifications. J. Comput. Syst. Sci.\u00a049(3), 620\u2013666 (1994)","journal-title":"J. Comput. Syst. Sci."},{"issue":"1","key":"4_CR52","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/j.tcs.2004.09.037","volume":"331","author":"L. Schr\u00f6der","year":"2005","unstructured":"Schr\u00f6der, L., Mossakowski, T., Tarlecki, A., Klin, B., Hoffman, P.: Amalgamation in the semantics of CASL. Theor. Comput. Sci.\u00a0331(1), 215\u2013247 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR53","first-page":"297","volume-title":"Resolution of Equations in Algebraic Structures","author":"G. Smolka","year":"1989","unstructured":"Smolka, G., Nutt, W., Goguen, J., Meseguer, J.: Order-sorted equational computation. In: Nivat, M., A\u00eft-Kaci, H. (eds.) Resolution of Equations in Algebraic Structures, vol.\u00a02, pp. 297\u2013367. Academic Press, London (1989)"},{"key":"4_CR54","volume-title":"A Theory of Programming Language Semantics","author":"C. Strachey","year":"1976","unstructured":"Strachey, C., Milne, R.: A Theory of Programming Language Semantics. Chapman and Hall, Boca Raton (1976)"},{"key":"4_CR55","first-page":"119","volume-title":"STOC 1978 Tenth Annual ACM Symposium on Theory of Computing","author":"J.W. Thatcher","year":"1978","unstructured":"Thatcher, J.W., Wagner, E.G., Wright, J.B.: Data type specification: Parameterization and the power of specification techniques. In: STOC 1978 Tenth Annual ACM Symposium on Theory of Computing, pp. 119\u2013132. ACM Press, New York (1978)"}],"container-title":["Lecture Notes in Computer Science","Semantics and Algebraic Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04164-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T11:18:40Z","timestamp":1558523920000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04164-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642041631","9783642041648"],"references-count":56,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04164-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}