{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:46:37Z","timestamp":1725468397704},"publisher-location":"Berlin\/Heidelberg","reference-count":11,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"0387973753"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0040263","type":"book-chapter","created":{"date-parts":[[2006,8,17]],"date-time":"2006-08-17T17:01:43Z","timestamp":1155834103000},"page":"284-300","source":"Crossref","is-referenced-by-count":1,"title":["Generalization of final algebra semantics by relativization"],"prefix":"10.1007","author":[{"given":"Lawrence S.","family":"Moss","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Satish R.","family":"Thatte","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"J. A. Goguen, J. W. Thatcher, E. G. Wagner, and J.B. Wright (ADJ). An initial algebra approach to the specification, correctness, and implementation of abstract data types. In R. T. Yeh, editor, Current Trends in Programming Methodology IV, Prentice-Hall, 1978."},{"issue":"1","key":"12_CR2","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/BF00260922","volume":"10","author":"J. V. Guttag","year":"1978","unstructured":"J. V. Guttag and J. J. Horning. The algebraic specification of abstract data types. Acta Informatica, 10(1):27\u201352, 1978.","journal-title":"Acta Informatica"},{"issue":"1","key":"12_CR3","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1145\/357153.357158","volume":"4","author":"M. C. Hoffman","year":"1982","unstructured":"M. C. Hoffman and M. J. O'Donnell. Programming with equations. ACM TOPLAS, 4(1):83\u2013112, 1982.","journal-title":"ACM TOPLAS"},{"issue":"1","key":"12_CR4","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/357195.357202","volume":"5","author":"S. Kamin","year":"1983","unstructured":"S. Kamin. Final data types and their specifications. ACM TOPLAS, 5(1):97\u2013121, 1983.","journal-title":"ACM TOPLAS"},{"key":"12_CR5","unstructured":"D. Kapur and D. R. Musser. Inductive reasoning with incomplete specifications. In Proceedings of the Symposium on Logic in Computer Science, pages 367\u2013377, 1986."},{"key":"12_CR6","unstructured":"D. Kapur and D. R. Musser. Proof by consistency. General Electric Corporate Research and Development Report 84GEN008, 1984."},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(77)90053-6","volume":"4","author":"R. Milner","year":"1977","unstructured":"R. Milner. Fully abstract models of typed \u03bb-calculi. Theoretical Computer Science, 4:1\u201322, 1977.","journal-title":"Theoretical Computer Science"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"S. Mac Lane. Categories for the Working Mathematician. Springer-Verlag, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"S. R. Thatte. Full abstraction and limiting completeness in equational languages. Theoretical Computer Science, 1989.","DOI":"10.1016\/0304-3975(89)90139-4"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"D. A. Turner. Miranda: a non-strict functional language with polymorphic types. In LNCS 201, Springer-Verlag, 1985.","DOI":"10.1007\/3-540-15975-4_26"},{"issue":"1","key":"12_CR11","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0022-0000(79)90011-4","volume":"19","author":"M. Wand","year":"1977","unstructured":"M. Wand. Final algebra semantics and data type extensions. Journal of Computer and System Sciences, 19(1):27\u201344, 1977.","journal-title":"Journal of Computer and System Sciences"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Semantics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0040263.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:39:56Z","timestamp":1607549996000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0040263"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["0387973753"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0040263","relation":{},"subject":[]}}