{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:57Z","timestamp":1761611157739,"version":"build-2065373602"},"reference-count":33,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":5323,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[1999]]},"DOI":"10.1016\/s1571-0661(05)80304-4","type":"journal-article","created":{"date-parts":[[2005,5,25]],"date-time":"2005-05-25T08:37:08Z","timestamp":1117010228000},"page":"23-41","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":7,"special_numbering":"C","title":["Structured Theories and Institutions"],"prefix":"10.1016","volume":"29","author":[{"given":"Francisco","family":"Dur\u00e1n and Jos\u00e9 Meseguer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"year":"1985","series-title":"Toposes, Triples and Theories","author":"Barr","key":"10.1016\/S1571-0661(05)80304-4_BIB1"},{"key":"10.1016\/S1571-0661(05)80304-4_BIB2","doi-asserted-by":"crossref","unstructured":"H. Baumeister. Unifying initial and loose semantics of parameterized specifications in an arbitrary institution. In S. Abramsky and T. Maibaum, editors, Proc. Int. Conf. on Theory and Practice of Software Development, TAPSOFT'91, Brighton, UK, April 1991, volume 493 of Lecture Notes in Computer Science, pages 103\u2013120. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-53982-4_7"},{"year":"1991","series-title":"Algebraic System Specification and Development. A Survey and Annotated Bibliography, volume 501 of Lecture Notes in Computer Science","key":"10.1016\/S1571-0661(05)80304-4_BIB3"},{"key":"10.1016\/S1571-0661(05)80304-4_BIB4","doi-asserted-by":"crossref","unstructured":"R. Burstall and J. Goguen. The semantics of Clear, a specification language. In D. Bjrner, editor, Proceedings of the 1979 Copenhagen Winter School on Abstract Software Specification, volume 86 of Lecture Notes in Computer Science, pages 292\u2013332. Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10007-5_41"},{"key":"10.1016\/S1571-0661(05)80304-4_BIB5","series-title":"PhD thesis, University of Navarre","article-title":"Reflection in General Logics and in Rewriting Logic with Applications to the Maude Language","author":"Clavel","year":"1998"},{"key":"10.1016\/S1571-0661(05)80304-4_BIB6","unstructured":"M. Clavel, F. Dur\u00e4n, S. Eker, P. Lincoln, N. Mart\u00ef-Oliet, J. Meseguer, and J. Quesada. Maude: Specification and programming in rewriting logic. SRI International, January 1999. Available at http:\/\/maude.csl.sri.com."},{"key":"10.1016\/S1571-0661(05)80304-4_BIB7","unstructured":"M. Clavel and J. Meseguer. Reflection and strategies in rewriting logic. In Meseguer [24]. Available at http:\/\/www.elsevier.nl\/locate\/entcs\/volume4.html."},{"key":"10.1016\/S1571-0661(05)80304-4_BIB8","unstructured":"CoFI Task Group on Language Design. CASL\u2013The common algebraic specification language, version 1.0. Available at http:\/\/www.brics.dk\/Projects\/CoFI, October 1998."},{"key":"10.1016\/S1571-0661(05)80304-4_BIB9","series-title":"AMAST Series. World Scientific","article-title":"Caf\u00e9 OBJ Report","author":"Diaconescu","year":"1998"},{"key":"10.1016\/S1571-0661(05)80304-4_BIB10","unstructured":"R. Diaconescu, J. Goguen, and P. Stefaneas. Logical support for modularisation. In G. Huet, G. Plotkin, and C. Jones, editors, Proceedings of Workshop on Logical Frameworks (Edinburgh, United Kingdom, May 1991), pages 83\u2013130. Cambridge University Press, 1991."},{"key":"10.1016\/S1571-0661(05)80304-4_BIB11","article-title":"Parameterising (algebraic) specifications on diagrams","author":"Dimitrakos","year":"1998","journal-title":"Automated Software Engineering\u2013ASE '98, 13th IEEE International Conference"},{"key":"10.1016\/S1571-0661(05)80304-4_BIB12","unstructured":"F. Dur\u00e1n. A Reflective Module Algebra with Applications to the Maude Language. PhD thesis, University of M\u00e1laga, 1999. Available at http:\/\/www.csl.sri.com\/~duran\/thesis."},{"key":"10.1016\/S1571-0661(05)80304-4_BIB13","doi-asserted-by":"crossref","unstructured":"F. Dur\u00e1n and J. Meseguer. An extensible module algebra for Maude, volume 15 of Electronic Notes in Theoretical Computer Science. Elsevier, 1998. Available at http:\/\/www.elsevier.nl\/locate\/entcs\/volumel5.html.","DOI":"10.1016\/S1571-0661(05)80012-X"},{"year":"1985","series-title":"Fundamentals of Algebraic Specification 1. Equations and Initial Semantics","author":"Ehrig","key":"10.1016\/S1571-0661(05)80304-4_BIB14"},{"year":"1990","series-title":"Fundamentals of Algebraic Specification 2. Module Specifications and Constraints","author":"Ehrig","key":"10.1016\/S1571-0661(05)80304-4_BIB15"},{"key":"10.1016\/S1571-0661(05)80304-4_BIB16","series-title":"Recent Trends in Data Type Specification, volume 906 of Lecture Notes in Computer Science","first-page":"499","article-title":"What is an Abstract Data Type after all? (A bibliography on the workshops on abstract data types)","author":"Gogolla","year":"1995"},{"key":"10.1016\/S1571-0661(05)80304-4_BIB17","doi-asserted-by":"crossref","unstructured":"J. Goguen and R. Burstall. Introducing institutions. In E. Clarke and D. Kozen, editors, Proc. Logics of Programming Workshop, volume 164 of Lecture Notes in Computer Science, pages 221\u2013256. Springer-Verlag, 1984.","DOI":"10.1007\/3-540-12896-4_366"},{"issue":"1","key":"10.1016\/S1571-0661(05)80304-4_BIB18","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","article-title":"Institutions: Abstract model theory for specification and programming","volume":"39","author":"Goguen","year":"1992","journal-title":"Journal of the Association for Computing Machinery"},{"key":"10.1016\/S1571-0661(05)80304-4_BIB19","series-title":"Applications of Algebraic Specification Using OBJ","article-title":"Introducing OBJ. Technical Report SRI-CSL-92\ue4f803, Computer Science Laboratory, SRI International","author":"Goguen","year":"1992"},{"key":"10.1016\/S1571-0661(05)80304-4_BIB20","series-title":"Springer\u2013Verlag","article-title":"Categories for the Working Mathematician","author":"Lane","year":"1971"},{"key":"10.1016\/S1571-0661(05)80304-4_BIB21","unstructured":"N. Martf-Oliet and J. Meseguer. Rewriting logic as a logical and semantic framework. In Meseguer [24]. Available at http:\/\/www.elsevier.nl\/locate\/entcs\/volume4.html."},{"key":"10.1016\/S1571-0661(05)80304-4_BIB22","series-title":"Logic Colloquium'87","first-page":"275","article-title":"General logics","author":"Meseguer","year":"1989"},{"key":"10.1016\/S1571-0661(05)80304-4_BIB23","article-title":"Membership algebra","author":"Meseguer","year":"1996","journal-title":"Lecture at the Dagstuhl Seminar on \u201cSpecification and Semantics\u201d"},{"key":"10.1016\/S1571-0661(05)80304-4_BIB24","unstructured":"J. Meseguer, editor. Proc 1st Intl. Workshop on Rewriting Logic and its Applications, Asilomar, California, U.S.A, volume 4 of Electronic Notes in Theoretical Computer Science Elsevier, September 1996. Available at http:\/\/www.elsevier.nl\/locate\/entcs\/volume4.html."},{"key":"10.1016\/S1571-0661(05)80304-4_BIB25","series-title":"Recent Trends in Algebraic Development Techniques. WADT'97, volume 1376 of Lecture Notes in Computer Science","first-page":"18","article-title":"Membership algebra as a semantic framework for equational specification","author":"Meseguer","year":"1998"},{"key":"10.1016\/S1571-0661(05)80304-4_BIB26","series-title":"Recent Trends in Data Type Specification, volume 906 of Lecture Notes in Computer Science","first-page":"499","article-title":"From abstract data types to logical frameworks","author":"Meseguer","year":"1995"},{"key":"10.1016\/S1571-0661(05)80304-4_BIB27","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1016\/S0304-3975(96)00164-8","article-title":"Institutions for logic programming","volume":"173","author":"Orejas","year":"1997","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(05)80304-4_BIB28","doi-asserted-by":"crossref","unstructured":"H. Reichel. Initially \u2013 restricting algebraic theories. In P. Demb\u00ednski, editor, Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science, volume 88 of Lecture Notes in Computer Science, pages 504\u2013514. Springer-Verlag, 1980.","DOI":"10.1007\/BFb0022528"},{"issue":"2\/3","key":"10.1016\/S1571-0661(05)80304-4_BIB29","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0890-5401(88)90008-9","article-title":"Specifications in an arbitrary institution","volume":"76","author":"Sannella","year":"1988","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(05)80304-4_BIB30","doi-asserted-by":"crossref","unstructured":"D. Sannella and M. Wirsing. A kernel language for algebraic specification and implementation. In M. Karpinski, editor, Proceedings of the 1983 International Conference on Foundations of Computation Theory. Borgholm, Sweden, August 21\u201327, 1983, volume 158 of Lecture Notes in Computer Science, pages 415\u2013427. Springer-Verlag, 1983.","DOI":"10.1007\/3-540-12689-9_122"},{"year":"1972","series-title":"Categories","author":"Schubert","key":"10.1016\/S1571-0661(05)80304-4_BIB31"},{"key":"10.1016\/S1571-0661(05)80304-4_BIB32","doi-asserted-by":"crossref","unstructured":"Y. Srinivas and R. J\u00fcllig. SPECWARE: Formal support for composing software. In B. Moeller, editor, Proceedings of the Conference on Mathematics of Program Construction, volume 947 of Lecture Notes in Computer Science, pages 399\u2013422. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60117-1_22"},{"key":"10.1016\/S1571-0661(05)80304-4_BIB33","series-title":"Proc. Workshop on Frontiers of Combining Systems FroCoS'98, Applied Logic Series","article-title":"Towards heterogeneous specifications","author":"Tarlecki","year":"1998"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105803044?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105803044?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:07:47Z","timestamp":1761610067000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105803044"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"references-count":33,"alternative-id":["S1571066105803044"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)80304-4","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Structured Theories and Institutions","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(05)80304-4","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1999 Elsevier B.V.","name":"copyright","label":"Copyright"}]}}