{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:18Z","timestamp":1725663678053},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540535041"},{"type":"electronic","value":"9783540466772"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-53504-7_69","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:07:02Z","timestamp":1330207622000},"page":"129-133","source":"Crossref","is-referenced-by-count":0,"title":["Toward a general theory of computation and specification over abstract data types"],"prefix":"10.1007","author":[{"given":"J. V.","family":"Tucker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. I.","family":"Zucker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"14_CR1","unstructured":"J Derrick and J V Tucker, Logic programming and abstract data types, in \u201cProceedings of 1988 UK IT Conference,\u201d held under the auspices of the Information Engineering Directorate of the Department of Trade and Industry (DTI), Institute of Electrical Engineers (IEE), 1988, pp. 217\u2013219."},{"key":"14_CR2","unstructured":"N A Harman and J V Tucker, Clocks, retimings, and the formal specification of a UART, in \u201cThe Fusion of Hardware Design and Verification,\u201d Proceedings of IFIP Working Group 10.2 Working Conference (ed. G Milne), North-Holland, 1988, pp. 375\u2013396."},{"key":"14_CR3","unstructured":"K M Hobley, B C Thompson, and J V Tucker, Specification and verification of synchronous concurrent algorithms: a case study of a convolution algorithm, in \u201cThe Fusion of Hardware Design and Verification,\u201d Proceedings of IFIP Working Group 10.2 Working Conference (ed. G Milne), North-Holland, 1988, pp. 347\u2013374."},{"key":"14_CR4","unstructured":"K Meinke and J V Tucker, Specification and representation of synchronous concurrent algorithms, in \u201cConcurrency '88,\u201d (ed. F H Vogt), Lecture Notes in Computer Science 335, Springer-Verlag, 1988, pp. 163\u2013180."},{"key":"14_CR5","unstructured":"K Meinke and J V Tucker, Universal algebra, in \u201cHandbook of Logic in Computer Science,\u201d (ed. S Abramsky, D Gabbay, T Maibaum), Oxford University Press (to appear)."},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"J C Shepherdson, Algorithmic procedures, generalised Turing algorithms, and elementary recursion theory, in \u201cHarvey Friedman's Research on the Foundations of Mathematics,\u201d (ed. L A Harrington et al.), North-Holland, 1985, pp. 285\u2013308.","DOI":"10.1016\/S0049-237X(09)70163-6"},{"key":"14_CR7","unstructured":"B C Thompson and J V Tucker, A parallel deterministic language and its application to synchronous concurrent algorithms, in \u201cProceedings of 1988 UK IT Conference, held under the auspices of the Information Engineering Directorate of the Department of Trade and Industry (DTI), Institute of Electrical Engineers (IEE),\u201d 1988, pp. 228\u2013231."},{"key":"14_CR8","unstructured":"J V Tucker and J I Zucker, \u201cProgram correctness over abstract data types, with error state semantics,\u201d CWI Monograph 6, North Holland, 1988."},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"J V Tucker and J I Zucker, Horn programs and semicomputable relations on abstract structures, in \u201cProceedings of the 16th International Colloquium on Automata, Languages and Programming, Stresa, Italy,\u201d (ed. G Ausiello et al.) Lecture Notes in Computer Science 372, Springer-Verlag, 1989, pp. 745\u2013760.","DOI":"10.1007\/BFb0035796"},{"key":"14_CR10","unstructured":"J V Tucker and J I Zucker, Provable computable functions on abstract data types, Department of Computer Science & Systems, McMaster University, Technical Report 90-02, 1990."}],"container-title":["Lecture Notes in Computer Science","Advances in Computing and Information \u2014 ICCI '90"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53504-7_69.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:50:25Z","timestamp":1605646225000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53504-7_69"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540535041","9783540466772"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-53504-7_69","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}