{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:07:45Z","timestamp":1725494865792},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665885"},{"type":"electronic","value":"9783540481188"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48118-4_44","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T20:30:57Z","timestamp":1194985857000},"page":"1778-1797","source":"Crossref","is-referenced-by-count":1,"title":["An lgebraic framework for higher-order odules"],"prefix":"10.1007","author":[{"given":"Rosa","family":"Jim\u00e9nez","sequence":"first","affiliation":[]},{"given":"Fernando","family":"Orejas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,9,17]]},"reference":[{"key":"44_CR1","doi-asserted-by":"crossref","unstructured":"E. Astesiano, H.-J. Kreowski, B. Krieg-Bruckner (eds.) Algebraic Foundations of System Specification, Springer-Verlag, To appear.","DOI":"10.1007\/978-3-642-59851-7"},{"key":"44_CR2","unstructured":"H. Barendregt: Typed \u03bb-calculi, in Handbook of Logic in Computer Science (S. Abramski et. al, eds.), Oxford Univ. Press 1993."},{"key":"44_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/3-540-10007-5_41","volume-title":"Proc. Copenhagen Winter School on Abstract Software Specification","author":"R.M. Burstall","year":"1980","unstructured":"R.M. Burstall, J.A. Goguen. The semantics of Clear, a specification language, Proc. Copenhagen Winter School on Abstract Software Specification, LNCS 86, 292\u2013332, Springer 1980"},{"key":"44_CR4","series-title":"Ph. D. Thesis","volume-title":"Formal Specification with higher order parameterization","author":"M.V. Cengarle","year":"1994","unstructured":"M.V. Cengarle. Formal Specification with higher order parameterization, Ph. D. Thesis, Ludwig-Maximilians Universitaet, Muenchen, 1994"},{"key":"44_CR5","first-page":"209","volume":"29","author":"H.-D. Ehrich","year":"1982","unstructured":"H.-D. Ehrich. On the theory of specification, implementation and parameterization of abstract data types. J. of the ACM 29, 209\u2013277, (1982)","journal-title":"J. of the ACM"},{"key":"44_CR6","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/0304-3975(83)90065-8","volume":"28","author":"H. Ehrig","year":"1984","unstructured":"H. Ehrig, H.-J. Kreowski, J.W. Thatcher, E. Wagner, J. Wright. Parameter passing in algebraic specification languages. Theor. Comp. Science 28, 45\u201381 (1984)","journal-title":"Theor. Comp. Science"},{"key":"44_CR7","doi-asserted-by":"crossref","unstructured":"H. Ehrig, B. Mahr. Fundamentals of Algebraic Specifications 1, Springer 1985","DOI":"10.1007\/978-3-642-69962-7"},{"key":"44_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/3-540-12896-4_366","volume-title":"Proc. Logics of Programming Workshop","author":"J.A. Goguen","year":"1984","unstructured":"J.A. Goguen, R.M. Burstall. Introducing institutions. Proc. Logics of Programming Workshop, Carnegie-Mellon. LNCS 164, 221\u2013256, Springer 1984"},{"issue":"1","key":"44_CR9","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J.A. Goguen","year":"1992","unstructured":"J.A. Goguen, R.M. Burstall. Institutions: Abstract model theory for specification and programming, J. of the ACM 39(1), 95\u2013146, (1992)","journal-title":"J. of the ACM"},{"issue":"2","key":"44_CR10","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1017\/S0960129500000748","volume":"5","author":"R. Jim\u00e9nez","year":"1995","unstructured":"R. Jim\u00e9nez, F. Orejas, H. Ehrig. Compositionality and compatibility of parameterization and parameter passing in specification languages, Math. Structures in Computer Science 5(2), 283\u2013313 (1995)","journal-title":"Math. Structures in Computer Science"},{"key":"44_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/3540539816_74","volume-title":"TAPSOFT\u201991","author":"B. Krieg-Bruckner","year":"1991","unstructured":"B. Krieg-Bruckner, D. Sannella: Structuring specifications in-the-large and in-the small: higher-order functions, dependent types and inheritance in SPECTRAL, in TAPSOFT\u201991 Vol 2, S. Abramski and T.S.E. Maibaum (eds.), Springer LNCS 494 (1991) pp. 313\u2013336"},{"key":"44_CR12","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1007\/BF01191893","volume":"29","author":"D. Sannella","year":"1992","unstructured":"D. Sannella, S. Sokolowski, A. Tarlecki. Toward formal development of programs from algebraic specifications: parameterization revisited. Acta Informatica 29, 689\u2013736 (1992)","journal-title":"Acta Informatica"},{"key":"44_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1007\/3-540-12689-9_122","volume-title":"Proc. FCT-83","author":"D.T. Sannella","year":"1983","unstructured":"D.T. Sannella, M. Wirsing. A kernel language for algebraic speci cation and implementation, Proc. FCT-83, LNCS 158, 413\u2013427, Springer 1983"},{"key":"44_CR14","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0304-3975(86)90051-4","volume":"42","author":"M. Wirsing","year":"1986","unstructured":"M. Wirsing. Structured algebraic specifications: a kernel language. Theor. Comp. Sc. 42,123\u2013249 (1986)","journal-title":"Theor. Comp. Sc."},{"key":"44_CR15","doi-asserted-by":"crossref","unstructured":"M. Wirsing. Algebraic Specification. Handbook of Theoretical Computer Science, Vol 2: Formal Models and Semantics, pp. 675\u2013788, Elsevier 1991","DOI":"10.1016\/B978-0-444-88074-1.50018-4"}],"container-title":["Lecture Notes in Computer Science","FM\u201999 \u2014 Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48118-4_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T07:30:26Z","timestamp":1556955026000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48118-4_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665885","9783540481188"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-48118-4_44","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}