{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:29Z","timestamp":1725663869526},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539810"},{"type":"electronic","value":"9783540464990"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3540539816_62","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:20:00Z","timestamp":1330208400000},"page":"83-98","source":"Crossref","is-referenced-by-count":0,"title":["On the relationship between algebraic module specifications and program modules"],"prefix":"10.1007","author":[{"given":"Michael","family":"L\u00f6we","sequence":"first","affiliation":[]},{"given":"Hartmut","family":"Ehrig","sequence":"additional","affiliation":[]},{"given":"Werner","family":"Fey","sequence":"additional","affiliation":[]},{"given":"Dean","family":"Jacobs","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,6]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"E.K. Blum, H. Ehrig, and F. Parisi-Presicce. Algebraic specification of modules and their basic interconnection. JCSS, 34, 1987.","DOI":"10.1016\/0022-0000(87)90028-6"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"H. Ehrig, W. Fey, F. Parisi-Presicce, and E.K. Blum. Algebraic theory of module specifications with constraints. In Proceedings MFCS. Springer-Verlag, LNCS 233, 1986.","DOI":"10.1007\/BFb0016234"},{"key":"8_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification I","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification I. Springer Verlag, Berlin, 1985."},{"key":"8_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61284-8","volume-title":"Fundamentals of Algebraic Specification II","author":"H. Ehrig","year":"1990","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification II. Springer Verlag, Berlin, 1990."},{"key":"8_CR5","first-page":"675","volume-title":"Information Processing 86","author":"H. Ehrig","year":"1986","unstructured":"H. Ehrig and H. Weber. Programming in the large with algebraic module specifications., pages 675\u2013684. Information Processing 86. North-Holland, Amsterdam, 1986."},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"K. Futatsugi, J.A. Goguen, J.P. Jouannaud, and J. Meseguer. Principles of obj2. In Proceedings 12th ACM Symposium on Principles of Programming Languages, 1985.","DOI":"10.1145\/318593.318610"},{"key":"8_CR7","unstructured":"M.-C. Gaudel. A first introduction to pluss. In Proceedings ALYEY Workshop on Formal Specification, 1984. Swendon."},{"key":"8_CR8","unstructured":"J.A. Goguen, J.W. Thatcher, and E.G. Wagner. An initial algebra approach to the specification, correctness and implementation of abstract data types. Technical Report RC 6487, IBM, 1976."},{"key":"8_CR9","unstructured":"R. Harper, D.B. MacQueen, and R. Milner. Standard ml. Technical Report ECS-LFCS-86-2, University of Edinburgh, 1986."},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"B. Liskov and S. Zilles. Programming with abstract data types. SIGPLAN Notices, 9, 1974.","DOI":"10.1145\/800233.807045"},{"issue":"12","key":"8_CR11","doi-asserted-by":"crossref","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"D.C. Parnas","year":"1972","unstructured":"D.C. Parnas. On the criteria to be used in decomposing systems into modules. CACM, 15(12):1053\u20131058, 1972.","journal-title":"CACM"},{"issue":"5","key":"8_CR12","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1145\/355602.361309","volume":"15","author":"D.C. Parnas","year":"1972","unstructured":"D.C. Parnas. A technique for software module specification with examples. CACM, 15(5):330\u2013336, 1972.","journal-title":"CACM"},{"key":"8_CR13","unstructured":"R. Prieto-Diaz and J. Neighbors. Module interconnection languages: a survey. Technical Report ICS Technical Report 189, C.S. Dept. UC Irvine, 1982."},{"key":"8_CR14","unstructured":"Springer Verlag LNCS 106, Berlin. The Programming Language Ada, Reference Manual, 1981."},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"D. Sannella and A. Tarlecki. Extended ml: an institution independent framework for formal program development. In Proceedings Workshop on Category Theory and Computer Programming, pages 364\u2013389. LNCS 240, 1986.","DOI":"10.1007\/3-540-17162-2_133"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"J.W. Thatcher, E.G. Wagner, and J.B. Wright. Data type specification: parameterization, and the power of specification techniques. In 10th Symp. on Theory of Computing, 1978.","DOI":"10.1145\/800133.804340"},{"key":"8_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96717-7","volume-title":"Programming in Modula-2","author":"N. Wirth","year":"1982","unstructured":"N. Wirth. Programming in Modula-2. Springer Verlag, Berlin, 1982."}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540539816_62.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:51:36Z","timestamp":1605646296000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540539816_62"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539810","9783540464990"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3540539816_62","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}