{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:15Z","timestamp":1725663555414},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540543459"},{"type":"electronic","value":"9783540475798"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54345-7_48","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:43:01Z","timestamp":1330209781000},"page":"47-63","source":"Crossref","is-referenced-by-count":0,"title":["On a hierarchy of file types and a tower of their theories"],"prefix":"10.1007","author":[{"given":"Andrzej","family":"Salwicki","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"5_CR1","first-page":"1","volume-title":"The C programming language","author":"B.W. Kerningham","year":"1978","unstructured":"Kerningham, B.W., Ritchie, D.M., The C programming language, Prentice Hall, Englewood Cliffs, 1978, pp1\u2013237"},{"key":"5_CR2","first-page":"1","volume":"414","author":"A. Kreczmar","year":"1990","unstructured":"Kreczmar, A., et al., Report on Loglan'88 programming language, LNCS vol.414, Springer Verlag, Berlin Heidelberg, 1990, pp1\u2013123","journal-title":"LNCS"},{"key":"5_CR3","unstructured":"Loglan'82 report, PWN Warsaw, 1983, pp 1\u2013147"},{"key":"5_CR4","unstructured":"Mirkowska,G., Salwicki,A., Algorithmic Logic, PWN Warsaw and D.Reidel Dordrecht, 1987, pp. 1\u2013358"},{"key":"5_CR5","unstructured":"Petermann, U., File System-axiomatic specification and analysis of its realizability in the language Loglan, doctoral dissertation, Dep. Of Mathematics and Computer Science, University of Warsaw 1985"},{"key":"5_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-1-4684-0182-0","volume-title":"The UnixTM System Guidebook","author":"P. Silvester","year":"1984","unstructured":"Silvester, Peter,P., The UnixTM System Guidebook, Springer Verlag Inc, New York 1984, pp. 1\u2013244"},{"key":"5_CR7","first-page":"270","volume":"148","author":"L. Stapp","year":"1983","unstructured":"Stapp, L., Axiomatic approach to the system of files, in Logics of programs and their applications, Proc. Poznan August 1980, LNCS v.148, Springer Verlag, Berlin Heidelberg 1983, pp. 270\u2013294","journal-title":"Proc. Poznan August 1980, LNCS"},{"key":"5_CR8","unstructured":"Szalas,A., Warpechowska,J., Loglan, WNT, Warsaw, 1991, pp. 1\u2013189"},{"key":"5_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-96757-3","volume-title":"Programming in Modula 2","author":"N. Wirth","year":"1983","unstructured":"Wirth, N., Programming in Modula 2, Springer Verlag, Berlin Heidelberg 1983, pp. 1\u2013179"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1991"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54345-7_48.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:20:55Z","timestamp":1619572855000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54345-7_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540543459","9783540475798"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-54345-7_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}