{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T22:54:27Z","timestamp":1649199267256},"reference-count":18,"publisher":"Elsevier BV","issue":"1-5","license":[{"start":{"date-parts":[[1987,8,1]],"date-time":"1987-08-01T00:00:00Z","timestamp":554774400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Microprocessing and Microprogramming"],"published-print":{"date-parts":[[1987,8]]},"DOI":"10.1016\/0165-6074(87)90043-3","type":"journal-article","created":{"date-parts":[[2003,9,3]],"date-time":"2003-09-03T17:14:48Z","timestamp":1062609288000},"page":"231-240","source":"Crossref","is-referenced-by-count":0,"title":["The algebraic data type specification language"],"prefix":"10.1016","volume":"21","author":[{"given":"Luc","family":"Duponcheel","sequence":"first","affiliation":[]},{"given":"Jurgen","family":"Heyman","sequence":"additional","affiliation":[]},{"given":"Willy","family":"Van Puymbroeck","sequence":"additional","affiliation":[]},{"given":"Johan","family":"Lewi","sequence":"additional","affiliation":[]},{"given":"Ivo","family":"Van Horebeek","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0165-6074(87)90043-3_BIB1","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1016\/S0747-7171(85)80019-5","article-title":"Termination orderings for associative-commutative rewriting systems","volume":"Vol. 1","author":"Bachmair","year":"1985","journal-title":"J. Symb. Comp."},{"key":"10.1016\/0165-6074(87)90043-3_BIB2","series-title":"Software Engineering with ADA","author":"Booch","year":"1983"},{"key":"10.1016\/0165-6074(87)90043-3_BIB3","first-page":"279","article-title":"Orderings for term-rewriting systems","volume":"Vol. 17","author":"Dershowitz","year":"1982","journal-title":"JTCS"},{"key":"10.1016\/0165-6074(87)90043-3_BIB4","article-title":"Fundamentals of Algebraic Specification 1. Equations and Initial Semantics","author":"Ehrig","year":"1985"},{"key":"10.1016\/0165-6074(87)90043-3_BIB5","unstructured":"W. Fey, \u201cThe Module Specification Language ACT TWO\u201d, in preparation."},{"key":"10.1016\/0165-6074(87)90043-3_BIB6","series-title":"ACM Proceedings, Annual Symposium on Principles of Programming Languages","first-page":"1","article-title":"Principles of OBJ2","author":"Futatsugi","year":"1985"},{"issue":"No. 5","key":"10.1016\/0165-6074(87)90043-3_BIB7","doi-asserted-by":"crossref","first-page":"528","DOI":"10.1109\/TSE.1984.5010277","article-title":"Parameterized Programming","volume":"Vol. SE-10","author":"Goguen","year":"1984","journal-title":"IEEE Transact. on Software Engineering"},{"key":"10.1016\/0165-6074(87)90043-3_BIB8","series-title":"Proceedings 1985 International Conference on Automata, Languages and Programming","first-page":"221","article-title":"Operational Sematics of Order Sorted Algebra","author":"Goguen","year":"1985"},{"key":"10.1016\/0165-6074(87)90043-3_BIB9","series-title":"Algebraic Methods in Semantics","first-page":"459","article-title":"Initiality, Induction and Computability","author":"Goguen","year":"1985"},{"key":"10.1016\/0165-6074(87)90043-3_BIB10","article-title":"Order Sorted Algebra 1. Partial and Overloaded Operations, Errors and Inheritance","author":"Goguen","year":"1987"},{"key":"10.1016\/0165-6074(87)90043-3_BIB11","first-page":"80","article-title":"An initial algebra approach to the specification, correctness and implementation of abstract data types","volume":"Vol. 4","author":"Goguen","year":"1978"},{"key":"10.1016\/0165-6074(87)90043-3_BIB12","series-title":"Proceedings, TAPSOFT '87 Conference","first-page":"81","article-title":"On Parametric Algebraic Specifications with clean Error Handling","author":"Gogolla","year":"1987"},{"key":"10.1016\/0165-6074(87)90043-3_BIB13","series-title":"Advances in Microprocessing and Microprogramming","first-page":"99","article-title":"Executable Algebraic Specifications","author":"Goovaerts","year":"1984"},{"key":"10.1016\/0165-6074(87)90043-3_BIB14","series-title":"Advances in Microprocessing and Microprogramming","first-page":"105","article-title":"A Translator for Algebraic Specifications","author":"Goovaerts","year":"1984"},{"key":"10.1016\/0165-6074(87)90043-3_BIB15","series-title":"Formal Languages: Perspectives and Open Problems","first-page":"349","article-title":"Equations and rewrite Rules: A Survey","author":"Huet","year":"1980"},{"key":"10.1016\/0165-6074(87)90043-3_BIB16","series-title":"Proceedings, 7th Conference on Automated Deduction","first-page":"175","article-title":"Termination of a set of rules modulo a set of equations","author":"Jouannaud","year":"1984"},{"key":"10.1016\/0165-6074(87)90043-3_BIB17","first-page":"138","article-title":"A Constructive method for Abstract Algebraic Software Specification","volume":"Vol. 30","author":"Klaeren","year":"1984","journal-title":"JTCS"},{"issue":"No. 7","key":"10.1016\/0165-6074(87)90043-3_BIB18","doi-asserted-by":"crossref","first-page":"784","DOI":"10.1109\/TSE.1986.6312979","article-title":"Specification of Modular Systems","volume":"Vol. SE-12","author":"Weber","year":"1986","journal-title":"IEEE Transact. on Software Engineering"}],"container-title":["Microprocessing and Microprogramming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0165607487900433?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0165607487900433?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T09:51:38Z","timestamp":1551088298000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0165607487900433"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,8]]},"references-count":18,"journal-issue":{"issue":"1-5","published-print":{"date-parts":[[1987,8]]}},"alternative-id":["0165607487900433"],"URL":"https:\/\/doi.org\/10.1016\/0165-6074(87)90043-3","relation":{},"ISSN":["0165-6074"],"issn-type":[{"value":"0165-6074","type":"print"}],"subject":[],"published":{"date-parts":[[1987,8]]}}}