{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:54Z","timestamp":1725662934245},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540133469"},{"type":"electronic","value":"9783540388913"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/3-540-13346-1_19","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:05:06Z","timestamp":1330193106000},"page":"375-391","source":"Crossref","is-referenced-by-count":3,"title":["Towards a proof theory of parameterized specifications"],"prefix":"10.1007","author":[{"given":"Peter","family":"Padawitz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"19_CR1","first-page":"80","volume":"4","author":"J.A. Goguen","year":"1978","unstructured":"ADJ: J.A. Goguen, J.W. Thatcher, E.G. Wagner: An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types, in: R.T. Yeh, ed., Current Trends in Programming Methodology, Vol. 4, Prentice-Hall (1978), 80\u2013149","journal-title":"Current Trends in Programming Methodology"},{"key":"19_CR2","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1145\/69622.357192","volume":"4","author":"J.W. Thatcher","year":"1982","unstructured":"ADJ: J.W. Thatcher, E.G. Wagner, J.B. Wright: Data Type Specification: Parameterization and the Power of Specification Techniques, ACM Transactions on Programming Languages and Systems 4 (1982), 711\u2013732","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"19_CR3","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1007\/3-540-11490-4_21","volume":"134","author":"H. Ehrig","year":"1982","unstructured":"ADJ: H. Ehrig, H.-J. Kreowski, J.W. Thatcher, E.G. Wagner, J.B. Wright: Parameter Passing in Algebraic Specification Languages, Proc. Workshop in Program Specification, Springer Lect. Notes in Comp. Sci. 134 (1982), 322\u2013369","journal-title":"Springer Lect. Notes in Comp. Sci."},{"key":"19_CR4","unstructured":"J.L. Bell, A.B. Slomson: Models and Ultraproducts: An Introduction, North-Holland (1971)"},{"key":"19_CR5","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1145\/322290.322303","volume":"29","author":"H.-D. Ehrich","year":"1982","unstructured":"H.-D. Ehrich: On the Theory of Specifications, Implementation and Parameterization of Abstract Data Types, Journal ACM 29 (1982), 206\u2013227","journal-title":"Journal ACM"},{"key":"19_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-10828-9_51","volume":"112","author":"H. Ehrig","year":"1981","unstructured":"H. Ehrig: Algebraic Theory of Parameterized Specifications with Requirements, Proc. 6th Colloquium on Trees in Algebra and Programming, Springer Lect. Notes in Comp. Sci. 112 (1981), 1\u201324","journal-title":"Springer Lect. Notes in Comp. Sci."},{"key":"19_CR7","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/2166.357212","volume":"5","author":"H. Ganzinger","year":"1983","unstructured":"H. Ganzinger: Parameterized Specifications: Parameter Passing and Implementation, TOPLAS 5,2 (1983)","journal-title":"TOPLAS"},{"key":"19_CR8","volume-title":"Ein algebraischer Kalk\u00fcl f\u00fcr einen strukturierten Entwurf von Datenabstraktionen","author":"U. Lipeck","year":"1982","unstructured":"U. Lipeck: Ein algebraischer Kalk\u00fcl f\u00fcr einen strukturierten Entwurf von Datenabstraktionen, Dissertation, Dortmund 1982"},{"key":"19_CR9","unstructured":"P. Padawitz: Correctness, Completeness, and Consistency of Equational Data Type Specifications, TU Berlin, FB 20, Report No. 83-15 (1983)"}],"container-title":["Lecture Notes in Computer Science","Semantics of Data Types"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-13346-1_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:52:53Z","timestamp":1619556773000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-13346-1_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540133469","9783540388913"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-13346-1_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1984]]}}}