{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,12]],"date-time":"2026-11-12T01:17:27Z","timestamp":1794446247476,"version":"4.9.1"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540160779","type":"print"},{"value":"9783662096918","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/978-3-662-09691-8_15","type":"book-chapter","created":{"date-parts":[[2013,5,7]],"date-time":"2013-05-07T04:50:18Z","timestamp":1367902218000},"page":"196-206","source":"Crossref","is-referenced-by-count":1,"title":["Passing Compatibility is Almost Persistency"],"prefix":"10.1007","author":[{"given":"F.","family":"Orejas","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"C. R. I.","family":"Nancy","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"15_CR1","volume-title":"Arrows, structures and functors: the categorical imperative","author":"ME Arbib","year":"1975","unstructured":"Arbib, M.E.; Manes, E.G.: \u201cArrows, structures and functors: the categorical imperative\u201d, Academic Press 1975."},{"key":"15_CR2","first-page":"1045","volume-title":"Putting theories together to make specifications","author":"RM Burstall","year":"1977","unstructured":"Burstall, R.M.; Goguen, J.A.: \u201cPutting theories together to make specifications\u201d, Proc. 5th IJCAI, Cambridge Mass., 1977, pp. 1045\u20131058."},{"key":"15_CR3","first-page":"292","volume-title":"The semantics of Clear, a specification language","author":"RM Burstall","year":"1980","unstructured":"Burstall, R.M.; Goguen, J.A.: \u201cThe semantics of Clear, a specification language\u201d, Proc. Copenhagen Winter School on Abstract Software Specification, Springer LNCS 86, pp. 292\u2013332, 1980."},{"issue":"1","key":"15_CR4","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1145\/322290.322303","volume":"29","author":"H-D Ehrich","year":"1982","unstructured":"Ehrich, H.-D.: \u201cOn the theory of specification, implementation and parameterization of abstract data types\u201d, JACM 29,1 (1982), pp. 206\u2013227.","journal-title":"JACM"},{"key":"15_CR5","series-title":"Springer LNCS","first-page":"1","volume-title":"Algebraic theory of parameterized specifications with requirements","author":"H Ehrig","year":"1981","unstructured":"Ehrig, H.: \u201cAlgebraic theory of parameterized specifications with requirements\u201d, Proc. 6th CAAP, Springer LNCS 112, 1981, pp. 1\u201324."},{"key":"15_CR6","volume-title":"ACT ONE: an algebraic specification language with two levels of semantics","author":"H Ehrig","year":"1983","unstructured":"Ehrig, H.; Fey, W. ; Hansen, H.: \u201cACT ONE: an algebraic specification language with two levels of semantics\u201d, TU Berlin, FB 20 Tech. Rep. No 83\/03, 1983."},{"key":"15_CR7","first-page":"157","volume-title":"Parameterized data types in algebraic specification languages","author":"H Ehrig","year":"1980","unstructured":"Ehrig, H.; Kreowski, H.-J.; Thatcher, J.W.; Wagner, E.G.; Wright J.B.: \u201cParameterized data types in algebraic specification languages\u201d, Proc. 7th ICALP, Springer LNCS 85, 1980, pp. 157\u2013168."},{"key":"15_CR8","series-title":"Springer LNCS","volume-title":"Parameter passing in algebraic specification languages","author":"H Ehrig","year":"1981","unstructured":"Ehrig, H.; Kreowski, H.-J.; Thatcher, J.W. ; Wagner, E.G.; Wright J.B.: \u201cParameter passing in algebraic specification languages\u201d, Proc. Aarhus Workshop on Program Specification, Springer LNCS 134, 1981."},{"issue":"3","key":"15_CR9","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1145\/2166.357212","volume":"5","author":"H Ganzinger","year":"1983","unstructured":"Ganzinger, H.: \u201cParameterized specifications: parameter passing and implementation with respect to observability\u201d, TOPLAS 5,3 (1983), pp. 318\u2013354.","journal-title":"TOPLAS"},{"key":"15_CR10","series-title":"Springer LNCS","first-page":"265","volume-title":"Universal realization, persistent interconnection and implementation of abstract modules","author":"JA Goguen","year":"1982","unstructured":"Goguen, J.A.; Meseguer, J.: \u201cUniversal realization, persistent interconnection and implementation of abstract modules\u201d, Proc. 9th ICALP, Springer LNCS 140, 1982, pp. 265\u2013281."},{"key":"15_CR11","first-page":"80","volume-title":"urrent Trends in Programming Methodology, Vol IV: Data Structuring","author":"JA Goguen","year":"1978","unstructured":"Goguen, J.A.; Thatcher, J.W.; Wagner, E.G.: \u201cAn initial algebra approach to the specification, correctness and implementation of abstract data types\u201d, in \u2018Current Trends in Programming Methodology, Vol IV: Data Structuring\u2019, R.T. Yeh (ed.), Prentice Hall 1978, pp. 80\u2013149."},{"key":"15_CR12","series-title":"Proc. FCT-83, Springer LNCS","first-page":"413","volume-title":"A kernel language for algebraic specification and implementation","author":"D Sannella","year":"1983","unstructured":"Sannella, D.; Wirsing, M.: \u201cA kernel language for algebraic specification and implementation\u201d, Proc. FCT-83, Springer LNCS 158, 1983, pp. 413\u2013427."},{"key":"15_CR13","volume-title":"Data type specification: parameterization and the power of specification techniques","author":"JW Thatcher","year":"1978","unstructured":"Thatcher, J.W.; Wagner, E.G.; Wright,J.B.: \u201cData type specification: parameterization and the power of specification techniques\u201d, Proc. 10th STOC, San Diego Ca., 1978."}],"container-title":["Informatik-Fachberichte","Recent Trends in Data Type Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-09691-8_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T18:18:12Z","timestamp":1557685092000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-09691-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540160779","9783662096918"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-09691-8_15","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-662-09691-8","asserted-by":"object"}]},"ISSN":["0343-3005"],"issn-type":[{"value":"0343-3005","type":"print"}],"subject":[],"published":{"date-parts":[[1985]]}}}