{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:55Z","timestamp":1725662875058},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540089216"},{"type":"electronic","value":"9783540357575"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/3-540-08921-7_93","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:37:32Z","timestamp":1330187852000},"page":"452-461","source":"Crossref","is-referenced-by-count":3,"title":["On algorithmic theory of stacks"],"prefix":"10.1007","author":[{"given":"Andrzej","family":"Salwicki","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"42_CR1","first-page":"315","volume":"23","author":"L. Banachowski","year":"1975","unstructured":"Banachowski, L., An axiomatic approach to the theory of data structures, Bull.Acad.Pol.Ser.Math.Phys.Astr. 23 1975, 315\u2013323","journal-title":"Bull.Acad.Pol.Ser.Math.Phys.Astr."},{"key":"42_CR2","unstructured":"Grabowski, M., On relationship between algorithmic logic and full weak second order logic \/in polish\/, 1977, University of Warsaw, unpublished manuscript"},{"key":"42_CR3","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1145\/359605.359618","volume":"20","author":"J. Guttag","year":"1977","unstructured":"Guttag, J., Abstract Data Types... CACM 20 1977, 396\u2013404","journal-title":"CACM"},{"issue":"4","key":"42_CR4","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1145\/942572.807045","volume":"9","author":"B. M. Liskov","year":"1974","unstructured":"Liskov, B.M., Zilles, S.N., Programming with abstract data types Proc. ACM SIGPLAN Symp. on Very High Level Lang. SIGPLAN Notices ACM 9, 4 1974, 50\u201359","journal-title":"SIGPLAN Notices ACM"},{"key":"42_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-1977-1102","volume":"1","author":"G. Mirkowska","year":"1977","unstructured":"Mirkowska, G., Algorithmic logic and its applications in program theory, Fundamenta Informaticae 1 1977, 1\u201317, 147\u2013167","journal-title":"Fundamenta Informaticae"},{"key":"42_CR6","doi-asserted-by":"crossref","unstructured":"Salwicki, A., Applied algorithmic logic, Proc. MFCS'77 inLect. Notes in Comp.Sci. 53, Springer Verlag, 1977, 122\u2013134","DOI":"10.1007\/3-540-08353-7_132"},{"key":"42_CR7","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/BF00288745","volume":"4","author":"J. Spitzen","year":"1975","unstructured":"Spitzen, J., Wegbreit, B., The verification and synthesis of data structures, Acta Inf. 4 1975, 127\u2013144","journal-title":"Acta Inf."},{"key":"42_CR8","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G., An initial algebra approach to the specification, correctness and implementation of abstract data types, in Current Trends in Programming Methodology 4, ed by R.Yeh"},{"key":"42_CR9","unstructured":"Tue, Nguen, A comparison of different implementations of dictionary and priority queue theories, in polish, University of Warsaw, 1978"},{"key":"42_CR10","unstructured":"Salwicki, A., On Algorithmic theory of stacks, to appear in Fundamenta Informaticae"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1978"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08921-7_93.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T00:55:25Z","timestamp":1640912125000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08921-7_93"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9783540089216","9783540357575"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-08921-7_93","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1978]]}}}