{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T02:11:57Z","timestamp":1648865517726},"reference-count":8,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":6817,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Syst. Comp. Jpn."],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1002\/(sici)1520-684x(199701)28:1<1::aid-scj1>3.0.co;2-p","type":"journal-article","created":{"date-parts":[[2002,8,25]],"date-time":"2002-08-25T17:34:32Z","timestamp":1030296872000},"page":"1-9","source":"Crossref","is-referenced-by-count":0,"title":["Algebraic specification with provision for the automatic addition of error descriptions"],"prefix":"10.1002","volume":"28","author":[{"given":"Takeshi","family":"Hamaguchi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masahiko","family":"Sakai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shinichirou","family":"Yamamoto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kiyoshi","family":"Agusa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","reference":[{"issue":"3","key":"10.1002\/(SICI)1520-684X(199701)28:1<1::AID-SCJ1>3.0.CO;2-P-BIB1","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1109\/TSE.1985.232207","article-title":"Exception handling: Formal specification and systematic program construction","volume":"SE-11","author":"Bidoit","year":"1985","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1002\/(SICI)1520-684X(199701)28:1<1::AID-SCJ1>3.0.CO;2-P-BIB2","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0304-3975(84)90056-2","article-title":"Algebraic and operational semantics of specifications allowing exceptions and errors","volume":"34","author":"Gogolla","year":"1984","journal-title":"Theoretical Computer Science"},{"key":"10.1002\/(SICI)1520-684X(199701)28:1<1::AID-SCJ1>3.0.CO;2-P-BIB3","first-page":"80","volume-title":"Current Trends in Programming Methodology","volume":"4","author":"Goguen","year":"1978"},{"key":"10.1002\/(SICI)1520-684X(199701)28:1<1::AID-SCJ1>3.0.CO;2-P-BIB4","unstructured":"Takeshi Hamaguchi, Masahiko Sakai, Sinichiro Yamamoto, and Kiyoshi Agusa. Making Term Rewriting System Well-covered. Proceedings of Conference of Tokai Branch Association of Electric Societies, p. 294 (1992)."},{"key":"10.1002\/(SICI)1520-684X(199701)28:1<1::AID-SCJ1>3.0.CO;2-P-BIB5","unstructured":"Takeshi Hamaguchi, Masahiko Sakai, Sinichiro Yamamoto, and Kiyoshi Agusa. Automatic Error Description Addition to Algebraic Specification. Shingaku-giho, SS92\u00e2\u0080\u009326 (1993)."},{"issue":"1","key":"10.1002\/(SICI)1520-684X(199701)28:1<1::AID-SCJ1>3.0.CO;2-P-BIB6","first-page":"47","article-title":"Basics of algebraic specification of abstract data type (1), many sorted algebra and equational logic","volume":"25","author":"Inagaki","year":"1984","journal-title":"Information Processing"},{"key":"10.1002\/(SICI)1520-684X(199701)28:1<1::AID-SCJ1>3.0.CO;2-P-BIB7","first-page":"348","article-title":"Completeness in data type specifications","volume":"204","author":"Kounalis","year":"1985","journal-title":"LNCS"},{"key":"10.1002\/(SICI)1520-684X(199701)28:1<1::AID-SCJ1>3.0.CO;2-P-BIB8","unstructured":"Y. Toyama. How to prove equivalence of term rewriting systems without induction. Theoretical Computer Science, pp. 369\u00e2\u0080\u0093390 (1991)."}],"container-title":["Systems and Computers in Japan"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2F(SICI)1520-684X(199701)28:1%3C1::AID-SCJ1%3E3.0.CO;2-P","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/(SICI)1520-684X(199701)28:1%3C1::AID-SCJ1%3E3.0.CO;2-P","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,1]],"date-time":"2021-07-01T08:04:31Z","timestamp":1625126671000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/(SICI)1520-684X(199701)28:1<1::AID-SCJ1>3.0.CO;2-P"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":8,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,1]]}},"URL":"https:\/\/doi.org\/10.1002\/(sici)1520-684x(199701)28:1<1::aid-scj1>3.0.co;2-p","relation":{},"ISSN":["0882-1666","1520-684X"],"issn-type":[{"value":"0882-1666","type":"print"},{"value":"1520-684X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}