{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,20]],"date-time":"2023-10-20T18:03:06Z","timestamp":1697824986253},"reference-count":4,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1981,9,1]],"date-time":"1981-09-01T00:00:00Z","timestamp":368150400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["BIT"],"published-print":{"date-parts":[[1981,9]]},"DOI":"10.1007\/bf01941461","type":"journal-article","created":{"date-parts":[[2005,7,31]],"date-time":"2005-07-31T06:53:23Z","timestamp":1122792803000},"page":"245-254","source":"Crossref","is-referenced-by-count":3,"title":["Types in a mixed language system"],"prefix":"10.1007","volume":"21","author":[{"given":"Ph.","family":"Darondeau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Le Guernic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Raynal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01941461_CR1","unstructured":"C. A. Lang,Languages for writing systems programs, inSoftware Engineering Techniques, Buxton and Randell Ed., Nato Conference report, pp. 101\u2013106, April 1970."},{"key":"BF01941461_CR2","first-page":"540","volume":"20","author":"C. M. Geschke","year":"1977","unstructured":"C. M. Geschke, J. H. Morris and E. W. Satterthwaite,Some experience with MESA, Commun. Ass. Comput. Mach., vol. 20, pp. 540\u2013553, August 1977.","journal-title":"Commun. Ass. Comput. Mach."},{"key":"BF01941461_CR3","first-page":"1053","volume":"15","author":"D. L. Parnas","year":"1972","unstructured":"D. L. Parnas,On the criteria to be used in decomposing systems into modules, Commun. Ass. Comput. Mach., vol. 15, pp. 1053\u20131058, December 1972.","journal-title":"Commun. Ass. Comput. Mach."},{"key":"BF01941461_CR4","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1145\/800233.807045","volume":"9","author":"B. H. Liskov","year":"1974","unstructured":"B. H. Liskov and S. N. Zilles,Programming with abstract data types, inProc. ACM-SIGPLAN conf. on Very High Level Languages, also SIGPLAN Notices, vol. 9, pp. 50\u201359, April 1974.","journal-title":"Proc. ACM-SIGPLAN conf. on Very High Level Languages, also SIGPLAN Notices"}],"container-title":["BIT Numerical Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01941461.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01941461\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01941461","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T12:34:01Z","timestamp":1557750841000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01941461"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981,9]]},"references-count":4,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1981,9]]}},"alternative-id":["BF01941461"],"URL":"https:\/\/doi.org\/10.1007\/bf01941461","relation":{},"ISSN":["0006-3835","1572-9125"],"issn-type":[{"value":"0006-3835","type":"print"},{"value":"1572-9125","type":"electronic"}],"subject":[],"published":{"date-parts":[[1981,9]]}}}