{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:04:08Z","timestamp":1750309448100},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540073895"},{"type":"electronic","value":"9783540375852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1975]]},"DOI":"10.1007\/3-540-07389-2_226","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T10:55:36Z","timestamp":1330167336000},"page":"411-417","source":"Crossref","is-referenced-by-count":8,"title":["On representation of sequential and parallel functions"],"prefix":"10.1007","author":[{"given":"Mark B.","family":"Trakhtenbrot","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,21]]},"reference":[{"issue":"8","key":"49_CR1","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1145\/355609.362336","volume":"16","author":"Z. Manna","year":"1973","unstructured":"Manna, Z., Ness, S. and Vuillemin, J., Inductive methods for proving properties of programs. Communications of the ACM, 16, 8 (1973), 491\u2013502.","journal-title":"Communications of the ACM"},{"key":"49_CR2","unstructured":"Sazonov, V.Ju., On expressibility and computability of objects in Scott's ICF. In Proceedings of the Third All-Union Conference on Mathematical Logic, pp. 191\u2013194, Novosibirsk, 1974 (in Russian)."},{"key":"49_CR3","series-title":"Technical Monograph","volume-title":"Outline of a mathematical theory of computation","author":"D. Scott","year":"1970","unstructured":"Scott, D., Outline of a mathematical theory of computation. Technical Monograph PRG-2, Oxford University, Oxford, 1970."},{"key":"49_CR4","unstructured":"Scott., D., A type-theoretical alternative to CUCH, ISWIM, OWHY (unpublished). Oxford, 1969."},{"key":"49_CR5","unstructured":"Trakhtenbrot, M.B., On interpretated functions in program schemata. In System and Theoretical Programming, (V.E.Kotov, Ed.), pp. 188\u2013211, Novosibirsk, 1973 (in Russian)."},{"key":"49_CR6","volume-title":"Proof techniques for recursive programs","author":"J. Vuillemin","year":"1973","unstructured":"Vuillemin, J., Proof techniques for recursive programs. Ph. D. Thesis, Computer Science Department, Stanford University, Stanford, 1973."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1975 4th Symposium, Mari\u00e1nsk\u00e9 L\u00e1zn\u011b, September 1\u20135, 1975"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07389-2_226.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T16:46:09Z","timestamp":1619541969000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07389-2_226"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975]]},"ISBN":["9783540073895","9783540375852"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-07389-2_226","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1975]]}}}