{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,4]],"date-time":"2023-01-04T05:23:42Z","timestamp":1672809822551},"reference-count":8,"publisher":"Association for Computing Machinery (ACM)","issue":"4","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGPLAN Not."],"published-print":{"date-parts":[[1978,4]]},"DOI":"10.1145\/953411.953419","type":"journal-article","created":{"date-parts":[[2005,11,14]],"date-time":"2005-11-14T18:08:27Z","timestamp":1131991707000},"page":"80-84","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["On a finite axiomatization of the data type L"],"prefix":"10.1145","volume":"13","author":[{"given":"P. A.","family":"Subrahmanyam","sequence":"first","affiliation":[{"name":"State University of New York at Stony Brook, Stony Brook, New York"}]}],"member":"320","published-online":{"date-parts":[[1978,4]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Extended abstract","author":"Thatcher J. W.","unstructured":"{ADJ77} Thatcher J. W. , Wagner E. G. and Wright J. B. , \" Date type Specification: Parametrization and the Power of Specification techniques \", Extended abstract , IBM T.J. Watson Research Center , Yorktown Heights . {ADJ77} Thatcher J. W., Wagner E. G. and Wright J. B., \"Date type Specification: Parametrization and the Power of Specification techniques\", Extended abstract, IBM T.J. Watson Research Center, Yorktown Heights."},{"key":"e_1_2_1_2_1","volume-title":"Computer Science Research group, CRSG-59.","author":"Gu","year":"1975","unstructured":"{ Gu 75} Guttag, J. V. \" The specification and application to programming of abstract data types\". Univ of Toronto , Computer Science Research group, CRSG-59. September 1975 . {Gu75} Guttag, J. V. \"The specification and application to programming of abstract data types\". Univ of Toronto, Computer Science Research group, CRSG-59. September 1975."},{"key":"e_1_2_1_4_1","unstructured":"{LB77} Liskov B. H. and Berzins V. \"An appraisal of program specification\" MIT Laboratory for Computer Science Computation Structures Memo 141--1 April 77. {LB77} Liskov B. H. and Berzins V. \"An appraisal of program specification\" MIT Laboratory for Computer Science Computation Structures Memo 141--1 April 77."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/954627.954630"},{"key":"e_1_2_1_6_1","volume-title":"Computation: Finite and Infinite Machines","author":"Mj","year":"1967","unstructured":"{ Mj 67} Minsky, M. Computation: Finite and Infinite Machines , Prentice Hall , New Jersey ( 1967 ). {Mj67} Minsky, M. Computation: Finite and Infinite Machines, Prentice Hall, New Jersey (1967)."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.2307\/2371809"},{"key":"e_1_2_1_9_1","volume-title":"North Holland","author":"Ta","year":"1968","unstructured":"{ Ta 68} Tarski, A. \" Equational logic and equational theories of algebras,\" Contributions to Mathematical Logic, (K. Schutte, Ed) . North Holland , 1968 . {Ta68} Tarski, A. \"Equational logic and equational theories of algebras,\" Contributions to Mathematical Logic, (K. Schutte, Ed). North Holland, 1968."},{"key":"e_1_2_1_10_1","unstructured":"{Th77} Thatcher James W. IBM TJ Watson Research Center Yorktown Heights personal communication. {Th77} Thatcher James W. IBM TJ Watson Research Center Yorktown Heights personal communication."}],"container-title":["ACM SIGPLAN Notices"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/953411.953419","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,3]],"date-time":"2023-01-03T07:03:40Z","timestamp":1672729420000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/953411.953419"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978,4]]},"references-count":8,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1978,4]]}},"alternative-id":["10.1145\/953411.953419"],"URL":"https:\/\/doi.org\/10.1145\/953411.953419","relation":{},"ISSN":["0362-1340","1558-1160"],"issn-type":[{"value":"0362-1340","type":"print"},{"value":"1558-1160","type":"electronic"}],"subject":[],"published":{"date-parts":[[1978,4]]},"assertion":[{"value":"1978-04-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}