{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:26:18Z","timestamp":1726406778558},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616290"},{"type":"electronic","value":"9783540706427"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61629-2_35","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:08:39Z","timestamp":1330276119000},"page":"49-57","source":"Crossref","is-referenced-by-count":8,"title":["Unification of theories: A challenge for computing science"],"prefix":"10.1007","author":[{"given":"Tony","family":"Hoare","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Baeten, J.C.M. and Weijland, W.P. Process Algebra. Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511624193"},{"key":"4_CR2","unstructured":"Barr, M., Wells, C. Category Theory for Computing Science. Prentice Hall, second edition, 1995."},{"key":"4_CR3","unstructured":"Barrow, John D. Theories of Everything. The Quest for Ultimate Explanation. Oxford University Press, 1991."},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Dijkstra, Edsger W., Scholten, Carel S. Predicate Calculus and Program Semantics. Springer Verlag, 1990.","DOI":"10.1007\/978-1-4612-3228-5"},{"key":"4_CR5","unstructured":"Hennessy, M.C. Algebraic Theory of Processes. MIT Press, 1988."},{"key":"4_CR6","unstructured":"Hentenryck, P. Van. Constraint Satisfaction in Logic Programming. MIT Press, 1989."},{"key":"4_CR7","unstructured":"Hoare, C.A.R. Unified Theories of Programming. Oxford University Computing Laboratory, 1994. ftp:\/\/ftp.comlab.ox.ac.Uk\/pub\/Documents\/techpapers\/Tony.Hoare\/theory94.ps.Z."},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R. Communicating Sequential Processes. Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W. Foundations of Logic Programming. Springer Verlag, second edition, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"4_CR10","unstructured":"Milner, A.J.R.G. Communication and Concurrency. Prentice Hall, 1989."},{"key":"4_CR11","unstructured":"Vickers, S. Topology via Logic. Cambridge University Press, 1989."}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Data Type Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61629-2_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T05:52:46Z","timestamp":1640929966000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61629-2_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616290","9783540706427"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-61629-2_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}