{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T06:21:15Z","timestamp":1770272475763,"version":"3.49.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":17,"publisher":"Springer-Verlag","isbn-type":[{"value":"354010027X","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022493","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:49:12Z","timestamp":1132724952000},"page":"22-39","source":"Crossref","is-referenced-by-count":9,"title":["Electronic category theory"],"prefix":"10.1007","author":[{"given":"R. M.","family":"Burstall","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","volume-title":"Arrows, Structures and Functors","author":"M. Arbib","year":"1975","unstructured":"Arbib, M. and Manes, E. (1975) Arrows, Structures and Functors. Academic Press: New York."},{"issue":"8","key":"2_CR2","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J. Backus","year":"1978","unstructured":"Backus, J. (1978) Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. CACM, 21, 8, 613\u2013641.","journal-title":"CACM"},{"key":"2_CR3","first-page":"1","volume-title":"Honolulu, Hawaii","author":"H. Barrow","year":"1972","unstructured":"Barrow, H., Ambler, A.P. and Burstall, R.M. (1972) Some techniques for recognising structures in pictures. Proc. of the International Conference on Frontiers of Pattern Recognition (ed. S. Watanabe), Honolulu, Hawaii. Academic Press: New York, pp. 1\u201329."},{"key":"2_CR4","unstructured":"Burstall, R.M. (1977) Design considerations for a functional programming language, in Proc. of Infotech State of the Art Conference \u201cThe Software Revolution\u201d, Copenhagen, pp. 45\u201357."},{"key":"2_CR5","volume-title":"Programming in POP-2","author":"R.M. Burstall","year":"1971","unstructured":"Burstall, R.M., Collins, J.S. and Popplestone, R.J. (1971) Programming in POP-2. (A revision of POP-2 Papers, Edinburgh: University Press, 1968.) Edinburgh: University Press."},{"key":"2_CR6","unstructured":"Burstall, R.M. and Goguen, J.A. (1977) Putting theories together to make specifications, in Proc. of Fifth International Joint Conference on Artificial Intelligence, Boston, pp. 1045\u20131058. (From Comp. Sci.Dept., Carnegie-Mellon Univ.)"},{"key":"2_CR7","volume-title":"Proc. of Advanced Course on Abstract Software Specifications, Copenhagen (1970). Lecture Notes in Computer Science","author":"R.M. Burstall","year":"1980","unstructured":"Burstall, R.M. and Goguen, J.A. (1980) The semantics of CLEAR, a specification language, in Proc. of Advanced Course on Abstract Software Specifications, Copenhagen (1970). Lecture Notes in Computer Science. Berlin: Springer-Verlag (in press)."},{"key":"2_CR8","first-page":"17","volume-title":"Programs and their proofs: an algebraic approach. Machine Intelligence 4","author":"R.M. Burstall","year":"1969","unstructured":"Burstall, R.M. and Landin, P.J. (1969) Programs and their proofs: an algebraic approach. Machine Intelligence 4 (eds. B. Meltzer and D. Michie) Edinburgh: University Press, pp. 17\u201344."},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Burstall, R.M., MacQueen, D.B. and Sannella, D.T. (1980) HOPE: an experimental applicative language. Research Report, Dept. of Computer Science, University of Edinburgh.","DOI":"10.1145\/800087.802799"},{"key":"2_CR10","series-title":"Research Report","volume-title":"Deriving structures from structures","author":"H. Ehrig","year":"1977","unstructured":"Ehrig, H., Kreowski, H-J., Maggiolo-Schettini, A., Rosen, B. and Winkowski, J. (1977) Deriving structures from structures. Research Report, IBM Research Center, Computer Sc ence Dept., Yorktown Heights, N.Y."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Pfender, M. and Schneider, H. (1973) Graph grammars: an algebraic approach. Proc. 14th Ann. IEEE Symp. on Switching and Automata Theory, pp. 167\u2013180.","DOI":"10.1109\/SWAT.1973.11"},{"key":"2_CR12","unstructured":"Goguen, J.A. and Burstall, R.M. (1978) Some fundamental properties of algebraic theories: a tool for semantics of computation. DAI Research Report No. 53, Dept. of Artificial Intelligence, University of Edinburgh. (Revised version to appear shortly from Edinburgh University Computer Science Dept.)"},{"key":"2_CR13","unstructured":"Goguen, J.A. and Ginali, S. (1978) A categorical approach to general systems. In Applied General Systems Research (ed. G. Klir) Plenum, pp. 257\u2013270."},{"issue":"3","key":"2_CR14","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/947626.947628","volume":"15","author":"H. Klaeren","year":"1980","unstructured":"Klaeren, H. (1980) An abstract software specification technique based on structural recursion. SIGPLAN Notices, 15, 3, 28\u201334.","journal-title":"SIGPLAN Notices"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"MacLane, S. (1971) Categories for the Working Mathematician. Springer-Verlag.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"2_CR16","unstructured":"Perryman, G. (1970) Discovering the structure of an automaton from partial information. M.Sc. thesis. Dept. of Artificial Intelligence, University of Edinburgh."},{"key":"2_CR17","series-title":"Research Report","volume-title":"More advice on structuring compilers and proving them correct","author":"J. Thatcher","year":"1979","unstructured":"Thatcher, J., Wagner, E. and Wright, J. (1979) More advice on structuring compilers and proving them correct. Research Report RC 7588, IBM Research Center, Computer Science Dept., Yorktown Heights, N.Y."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1980"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0022493","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:21:12Z","timestamp":1586578872000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022493"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354010027X"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0022493","relation":{},"subject":[]}}