{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T11:32:12Z","timestamp":1725622332853},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540076193"},{"type":"electronic","value":"9783642663192"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1976]]},"DOI":"10.1007\/978-3-642-66319-2_13","type":"book-chapter","created":{"date-parts":[[2011,10,18]],"date-time":"2011-10-18T16:27:15Z","timestamp":1318955235000},"page":"135-144","source":"Crossref","is-referenced-by-count":0,"title":["On the Implementation of Data Generality"],"prefix":"10.1007","author":[{"given":"Arndt","family":"von Staa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos J.","family":"Lucena","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"Modularity","author":"JB Dennis","year":"1973","unstructured":"Dennis, J.B., \u2018Modularity\u2019; in Bauer, F.L. ed; Springer Verlag; 1973"},{"key":"13_CR2","volume-title":"Information Distribution Aspects of Design Methodology","author":"DF Parnas","year":"1971","unstructured":"Parnas, D.F., \u2018Information Distribution Aspects of Design Methodology\u2019; IFIP Congress Proceedings; 1971"},{"issue":"5","key":"13_CR3","first-page":"15","volume":"9","author":"DF Parnas","year":"1972","unstructured":"Parnas, D.F.; \u2018A Technique for Software Module Specification with Examples\u2019; Communications of the ACM Vol. 15, n9 5; May 1972","journal-title":"Communications of the ACM Vol"},{"key":"13_CR4","volume-title":"Structure","author":"W Keeman","year":"1972","unstructured":"Mc Keeman, W.; \u2018Compiler Structure\u2019; Proceedings of the First USA - Japan Computer Conference; 1972"},{"key":"13_CR5","volume-title":"Data Transmission and Modularity Aspects of Programming Languages; Research Report CS-74-17","author":"Av Staa","year":"1974","unstructured":"Staa, A.v.; Data Transmission and Modularity Aspects of Programming Languages; Research Report CS-74\u201317, Department of Computer Science, Univ. of Waterloo; 1974"},{"key":"13_CR6","volume-title":"On the Synthesis of Reliable Programs; Technical Report","author":"CJ Lucena","year":"1975","unstructured":"Lucena, C.J.; On the Synthesis of Reliable Programs; Technical Report, Computer Science Department, Univ. of California, Los Angeles; 1975"},{"key":"13_CR7","first-page":"1","volume":"1","author":"BH Liskov","year":"1975","unstructured":"Liskov, B.H.; Zilles, S.N.; \u2018Specification Techniques for Data Abstractions\u2019; IEEE Transactions on Software Engineering, Vol. 1, no 1; 1975","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/BF00289507","volume":"1","author":"CAR Hoare","year":"1972","unstructured":"Hoare, C.A.R.; \u2018Proof of Correction of Data Representations\u2019 Acta Informatica Vol. 1, fasc 4; 1972","journal-title":"Acta Informatica"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Liskov, B.H.; Zilles, S.N.; \u2018Programming with Abstract Data Types\u2019; SIGPLAN Notices Vol. 9; 1972","DOI":"10.1145\/942572.807045"},{"key":"13_CR10","volume-title":"ALTRAN User\u2019s Manual","author":"WS Brown","year":"1973","unstructured":"Brown, W.S.; ALTRAN User\u2019s Manual; Bell Telephone Labs., Murray Hill, N.J.; 1973"},{"issue":"4","key":"13_CR11","first-page":"4","volume":"9","author":"PZ Ingerman","year":"1961","unstructured":"Ingerman, P.Z.; \u2018TRUNKS a Way of Compiling Procedure Statements with Some Comments on Procedure Declarations\u2019; Comunications of the ACM Vol. 4, no 4; April 1961","journal-title":"Comunications of the ACM"},{"volume-title":"Advanced course on Software Engineering; Series: Lecture Notes in Economics and Mathematical Systems","year":"1973","key":"13_CR12","unstructured":"Bauer, F.L. ed; Advanced course on Software Engineering; Series: Lecture Notes in Economics and Mathematical Systems no 81, Springer Verlag; 1973"}],"container-title":["Informatik-Fachberichte","Programmiersprachen"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-66319-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,17]],"date-time":"2019-06-17T20:02:33Z","timestamp":1560801753000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-66319-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1976]]},"ISBN":["9783540076193","9783642663192"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-66319-2_13","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1976]]}}}