{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:12:03Z","timestamp":1742911923142,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642284113"},{"type":"electronic","value":"9783642284120"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-28412-0_15","type":"book-chapter","created":{"date-parts":[[2012,2,18]],"date-time":"2012-02-18T04:14:28Z","timestamp":1329538468000},"page":"226-250","source":"Crossref","is-referenced-by-count":0,"title":["Algebraic Signatures Enriched by Dependency Structure"],"prefix":"10.1007","author":[{"given":"Grzegorz","family":"Marczy\u0144ski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/3-540-49253-4_25","volume-title":"Algebraic Methodology and Software Technology","author":"M. Bidoit","year":"1998","unstructured":"Bidoit, M., Sannella, D., Tarlecki, A.: Architectural Specifications in CASL. In: Haeberer, A.M. (ed.) AMAST 1998. LNCS, vol.\u00a01548, pp. 341\u2013357. Springer, Heidelberg (1998)"},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/PL00000334","volume":"46","author":"H.P. Gumm","year":"2001","unstructured":"Gumm, H.P., Schr\u00f6der, T.: Products of coalgebras. Algebra Universalis\u00a046, 163\u2013185 (2001)","journal-title":"Algebra Universalis"},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1111\/j.1755-2567.1970.tb00429.x","volume":"36","author":"K. Segerberg","year":"1970","unstructured":"Segerberg, K.: Modal logics with linear alternative relations. Theoria\u00a036, 301\u2013322 (1970)","journal-title":"Theoria"},{"issue":"3","key":"15_CR4","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/BF00283329","volume":"25","author":"D. Sannella","year":"1988","unstructured":"Sannella, D., Tarlecki, A.: Toward formal development of programs from algebraic specifications: Implementations revisited. Acta Informatica\u00a025(3), 233\u2013281 (1988)","journal-title":"Acta Informatica"},{"issue":"3","key":"15_CR5","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/BF01211084","volume":"9","author":"D. Sannella","year":"1997","unstructured":"Sannella, D., Tarlecki, A.: Essential Concepts of Algebraic Specification and Program Development. Formal Asp. Comput.\u00a09(3), 229\u2013269 (1997)","journal-title":"Formal Asp. Comput."},{"key":"15_CR6","unstructured":"Walicki, M., Wolter, U.: Universal multialgebra. In: New Topics in Theoretical Computer Science, pp. 27\u201393. Nova Science Publishers (2008)"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28412-0_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T19:56:48Z","timestamp":1556395008000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28412-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642284113","9783642284120"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28412-0_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}