{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T14:14:51Z","timestamp":1761920091896,"version":"build-2065373602"},"reference-count":76,"publisher":"Association for Computing Machinery (ACM)","issue":"4","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2025,12,31]]},"DOI":"10.1145\/3731974","type":"journal-article","created":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T07:28:36Z","timestamp":1746430116000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Rod Burstall: In Memoriam"],"prefix":"10.1145","volume":"37","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9628-1702","authenticated-orcid":false,"given":"J Strother","family":"Moore","sequence":"first","affiliation":[{"name":"Department of Computer Science, The University of Texas at Austin","place":["Austin, United States"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8496-6096","authenticated-orcid":false,"given":"Gordon","family":"Plotkin","sequence":"additional","affiliation":[{"name":"School of Informatics, The University of Edinburgh","place":["Edinburgh, United Kingdom of Great Britain and Northern Ireland"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-5932-5670","authenticated-orcid":false,"given":"David","family":"Rydeheard","sequence":"additional","affiliation":[{"name":"Department of Computer Science, The University of Manchester","place":["Manchester, United Kingdom of Great Britain and Northern Ireland"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4520-8924","authenticated-orcid":false,"given":"Don","family":"Sannella","sequence":"additional","affiliation":[{"name":"School of Informatics, The University of Edinburgh","place":["Edinburgh, United Kingdom of Great Britain and Northern Ireland"]}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,10,31]]},"reference":[{"key":"e_1_3_1_2_2","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1057\/jors.1962.51","article-title":"Evaluation of transport costs for alternative factory sites \u2014 a case study","volume":"13","author":"Burstall R. M.","year":"1962","unstructured":"R. M. Burstall, R. A. Leaver, and J. E. Sussams. 1962. Evaluation of transport costs for alternative factory sites \u2014 a case study. Operational Research Quarterly 13, 4 (1962), 345\u2013354.","journal-title":"Operational Research Quarterly"},{"key":"e_1_3_1_3_2","unstructured":"R. M. Burstall and G. R. Kiss. 1963. Information processing language V for the KDF-9 computer. Automatic Programming Information 18 (1963)."},{"key":"e_1_3_1_4_2","unstructured":"R. M. Burstall. 1965. Heuristic and decision tree methods on computers: Some operational research applications. https:\/\/ethos.bl.uk\/OrderDetails.do?uin=uk.bl.ethos.450317"},{"key":"e_1_3_1_5_2","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1093\/comjnl\/9.3.263","article-title":"Computer design of electricity supply networks by a heuristic method","volume":"9","author":"Burstall R. M.","year":"1966","unstructured":"R. M. Burstall. 1966. Computer design of electricity supply networks by a heuristic method. Computer Journal 9, 3 (1966), 263\u2013274.","journal-title":"Computer Journal"},{"key":"e_1_3_1_6_2","first-page":"1","article-title":"A software stack system for the 340\/347 display","volume":"5","author":"Burstall R. M.","year":"1966","unstructured":"R. M. Burstall and J. V. Oldfield. 1966. A software stack system for the 340\/347 display. Decuscope 5, 3 (1966), 1\u20133.","journal-title":"Decuscope"},{"key":"e_1_3_1_7_2","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1057\/jors.1966.56","article-title":"A heuristic method for a job-scheduling problem","volume":"17","author":"Burstall R. M.","year":"1966","unstructured":"R. M. Burstall. 1966. A heuristic method for a job-scheduling problem. Operational Research Quarterly 17, 3 (1966), 291\u2013304.","journal-title":"Operational Research Quarterly"},{"volume-title":"Tree Searching Methods with an Application to a Network Design Problem. Machine Intelligence 1 (Eds. N.L. Collins and D. Michie)","author":"Burstall R. M.","key":"e_1_3_1_8_2","unstructured":"R. M. Burstall. 1967. Tree Searching Methods with an Application to a Network Design Problem. Machine Intelligence 1 (Eds. N.L. Collins and D. Michie). Edinburgh: Oliver and Boyd, 65\u201385."},{"volume-title":"Semantics of assignment. Machine Intelligence 2 (Eds. E. Dale and D. Michie)","author":"Burstall R. M.","key":"e_1_3_1_9_2","unstructured":"R. M. Burstall. 1968. Semantics of assignment. Machine Intelligence 2 (Eds. E. Dale and D. Michie). Edinburgh: Oliver and Boyd, 3\u201320."},{"key":"e_1_3_1_10_2","volume-title":"Edinburgh: Oliver and Boyd.","author":"Burstall R. M.","year":"1968","unstructured":"R. M. Burstall, J. S. Collins, and R. J. Popplestone. 1968. POP-2 Papers. Edinburgh: Oliver and Boyd."},{"key":"e_1_3_1_11_2","volume-title":"Edinburgh: Oliver and Boyd, 205\u2013246. Also in [9].","author":"Burstall R. M.","year":"1968","unstructured":"R. M. Burstall and R. J. Popplestone. 1968. POP-2 reference manual. Machine Intelligence 2 (Eds. E. Dale and D. Michie). Edinburgh: Oliver and Boyd, 205\u2013246. Also in [9]."},{"key":"e_1_3_1_12_2","volume-title":"Edinburgh: Oliver and Boyd.","author":"Michie D.","year":"1968","unstructured":"D. Michie, A. Ortony, and R. M. Burstall. 1968. Computer Programming for Schools: Fi1st Steps in Algol. Edinburgh: Oliver and Boyd."},{"key":"e_1_3_1_13_2","unstructured":"R. M. Burstall and J. S. Collins. 1968. An introduction to the POP-2 programming language. In [9]."},{"key":"e_1_3_1_14_2","first-page":"186","article-title":"Multi-POP\/4120: A cheap on-line system for numerical and non-numerical computing","volume":"12","author":"Collins J. S.","year":"1968","unstructured":"J. S. Collins, A. P. Ambler, R. M. Burstall, R. D. Dunn, D. Michie, D. J. S. Pullin, and R. J. Popplestone. 1968. Multi-POP\/4120: A cheap on-line system for numerical and non-numerical computing. Computer Bulletin 12, 5 (1968), 186\u2013189.","journal-title":"Computer Bulletin"},{"volume-title":"Writing search algorithms in functional form. Machine Intelligence 3","author":"Burstall R. M.","key":"e_1_3_1_15_2","unstructured":"R. M. Burstall. 1968. Writing search algorithms in functional form. Machine Intelligence 3 (ed. D. Michie). Edinburgh University Press, 373\u2013385."},{"key":"e_1_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/12.1.41"},{"key":"e_1_3_1_17_2","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1093\/comjnl\/12.1.48","article-title":"A program for solving word sum puzzles","volume":"12","author":"Burstall R. M.","year":"1969","unstructured":"R. M. Burstall. 1969. A program for solving word sum puzzles. Computer Journal 12, 1 (1969), 48\u201351.","journal-title":"Computer Journal"},{"key":"e_1_3_1_18_2","unstructured":"R. M. Burstall and P. J. Landin. 1969. Programs and their proofs: An algebraic approach. Machine Intelligence 4 (Eds. B. Meltzer and D. Michie). Edinburgh University Press 17\u201343."},{"volume-title":"Formal description of program structure and semantics in first order logic. Machine Intelligence 5 (Eds. B. Meltzer and D. Michie)","author":"Burstall R. M.","key":"e_1_3_1_19_2","unstructured":"R. M. Burstall. 1969. Formal description of program structure and semantics in first order logic. Machine Intelligence 5 (Eds. B. Meltzer and D. Michie). Edinburgh University Press, 79\u201398."},{"key":"e_1_3_1_20_2","volume-title":"Proc. ACM Intl. Computing Symposium, Bonn, 696\u2013708","author":"Burstall R. M.","year":"1970","unstructured":"R. M. Burstall. 1970. Machine intelligence research at Edinburgh University. Proc. ACM Intl. Computing Symposium, Bonn, 696\u2013708."},{"key":"e_1_3_1_21_2","unstructured":"R. M. Burstall J. S. Collins and R. J. Popplestone. 1971. Programming in POP-2. Edinburgh University Press (1971). A revision of [9] incorporating much new material."},{"volume-title":"Proc. Intl. Conf. on Frontiers of Pattern Recognition, Honolulu. Academic Press, 1\u201329","author":"Barrow H. G.","key":"e_1_3_1_22_2","unstructured":"H. G. Barrow, A. P. Ambler, and R. M. Burstall. 1972. Some techniques for recognising structures in pictures. Proc. Intl. Conf. on Frontiers of Pattern Recognition, Honolulu. Academic Press, 1\u201329."},{"key":"e_1_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/800235.807068"},{"volume-title":"Some techniques for proving correctness of programs which alter data structures. Machine Intelligence 7 (Eds. B. Meltzer and D. Michie)","author":"Burstall R. M.","key":"e_1_3_1_24_2","unstructured":"R. M. Burstall. 1972. Some techniques for proving correctness of programs which alter data structures. Machine Intelligence 7 (Eds. B. Meltzer and D. Michie). Edinburgh University Press, 23\u201350."},{"volume-title":"Proceedings of the 1st Conf. on Industrial Robot Technology. Nottingham, 185\u2013190","author":"Michie D.","key":"e_1_3_1_25_2","unstructured":"D. Michie, A. P. Ambler, H. G. Barrow, R. M. Burstall, R. J. Popplestone, and K. J. Turner. 1973. Vision and manipulation as a programming problem. In Proceedings of the 1st Conf. on Industrial Robot Technology. Nottingham, 185\u2013190."},{"volume-title":"Proceedings of the 3rd Intl. Joint Conf. on Artificial Intelligence. Stanford, 298\u2013307","author":"Ambler A. P.","key":"e_1_3_1_26_2","unstructured":"A. P. Ambler, H. G. Barrow, C. M. Brown, R. M. Burstall, and R. J. Popplestone. 1973. A versatile computer-controlled assembly system. In Proceedings of the 3rd Intl. Joint Conf. on Artificial Intelligence. Stanford, 298\u2013307."},{"volume-title":"Proceedings of the 3rd Intl. Joint Conf. on Artificial Intelligence. Stanford, 479\u2013485","author":"Darlington J.","key":"e_1_3_1_27_2","unstructured":"J. Darlington and R. M. Burstall. 1973. A system which automatically improves programs. In Proceedings of the 3rd Intl. Joint Conf. on Artificial Intelligence. Stanford, 479\u2013485."},{"key":"e_1_3_1_28_2","volume-title":"Proc. IFIP Congress \u201974","author":"Burstall R. M.","year":"1974","unstructured":"R. M. Burstall. 1974. Program proving as hand simulation with a little induction. Invited paper, Proc. IFIP Congress \u201974 (1974), 308\u2013312."},{"key":"e_1_3_1_29_2","volume-title":"Proceedings of the 1st Intl. Symp. on Category Theory Applied to Computation and Control","author":"Burstall R. M.","year":"1974","unstructured":"R. M. Burstall and J. W. Thatcher. 1975. The algebraic theory of recursive program schemes. In Proceedings of the 1st Intl. Symp. on Category Theory Applied to Computation and Control. San Francisco, 1974. Lecture Notes in Computer Science, Vol. 25, Springer, 126\u2013131."},{"volume-title":"Proceedings of the Intl. Conf. on Reliable Software","author":"Burstall R. M.","key":"e_1_3_1_30_2","unstructured":"R. M. Burstall and J. Darlington. 1975. Some transformations for developing recursive programs. Invited paper, In Proceedings of the Intl. Conf. on Reliable Software. Los Angeles, 465\u2013472."},{"key":"e_1_3_1_31_2","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(75)90006-5"},{"key":"e_1_3_1_32_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00263742"},{"key":"e_1_3_1_33_2","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(76)90049-1"},{"key":"e_1_3_1_34_2","first-page":"25","article-title":"Program proof, program transformation, program synthesis for recursive programs. Rivista di Informatica 7","volume":"1","author":"Burstall R. M.","year":"1977","unstructured":"R. M. Burstall. 1977. Program proof, program transformation, program synthesis for recursive programs. Rivista di Informatica 7, Suppl 1 (1977), 25\u201343.","journal-title":"Suppl"},{"key":"e_1_3_1_35_2","doi-asserted-by":"publisher","DOI":"10.1145\/321992.321996"},{"volume-title":"Proceedings of the 5th Intl. Joint Conf. on Artificial Intelligence","author":"Burstall R.","key":"e_1_3_1_36_2","unstructured":"R. Burstall and J. Goguen. 1977. Putting theories together to make specifications. Invited paper, In Proceedings of the 5th Intl. Joint Conf. on Artificial Intelligence, Cambridge, Massachusetts, 1045\u20131058."},{"key":"e_1_3_1_37_2","volume-title":"Proc. Infotech State of the Art Conf. \u201cThe Software Revolution\u201d, Copenhagen, 45\u201357","author":"Burstall R. M.","year":"1977","unstructured":"R. M. Burstall. 1977. Design considerations for a functional programming language. Invited paper, Proc. Infotech State of the Art Conf. \u201cThe Software Revolution\u201d, Copenhagen, 45\u201357."},{"key":"e_1_3_1_38_2","volume-title":"Artificial Intelligence: An Introductory Course","author":"Bundy Alan","year":"1978","unstructured":"Alan Bundy, Rod Burstall, Sylvia Weir, and Richard Young. 1978. Artificial Intelligence: An Introductory Course. Edinburgh University Press."},{"key":"e_1_3_1_39_2","volume-title":"Le Chesnay: IRIA-SEFI.","author":"Burstall R. M.","year":"1978","unstructured":"R. M. Burstall and M. Feather. 1978. Program development by transformations: An overview. Les fondements de la programmation. Proc. Toulouse CREST Course on Programming (Eds. M. Amirchahy and D. Neel). Le Chesnay: IRIA-SEFI."},{"key":"e_1_3_1_40_2","volume-title":"Proc. Euro IFIP \u201979","author":"Burstall R. M.","year":"1979","unstructured":"R. M. Burstall. 1979. Concepts versus code in program design. Proc. Euro IFIP \u201979, London. North-Holland."},{"key":"e_1_3_1_41_2","first-page":"86","volume-title":"Proc. 1979 Winter School on Abstract Software Specifications, Copenhagen. Springer Lecture Notes in Computer Science","author":"Burstall R. M.","year":"1980","unstructured":"R. M. Burstall and J. A. Goguen. 1980. The semantics of CLEAR, a specification language. Proc. 1979 Winter School on Abstract Software Specifications, Copenhagen. Springer Lecture Notes in Computer Science, 86 (1980), 292\u2013332."},{"key":"e_1_3_1_42_2","volume-title":"Technical Report CSL-118, SRI International, Menlo Park","author":"Goguen J. A.","year":"1980","unstructured":"J. A. Goguen and R. M. Burstall. 1980. CAT, a system for the structured elaboration of correct programs from structured specifications. Technical Report CSL-118, SRI International, Menlo Park (1980)."},{"key":"e_1_3_1_43_2","volume-title":"Proc. 4th Intl. Symp. on Programming","author":"Weiner J. L.","year":"1980","unstructured":"J. L. Weiner and R. M. Burstall. 1980. Making programs more readable. Proc. 4th Intl. Symp. on Programming, Paris. Springer Lecture Notes in Computer Science, 83 (1980), 372\u2013341."},{"key":"e_1_3_1_44_2","volume-title":"9th Intl. Symp. on Mathematical Foundations of Computer Science, Rydzyna","author":"Burstall R. M.","year":"1980","unstructured":"R. M. Burstall. 1980. Electronic category theory. Invited paper. Proc. 9th Intl. Symp. on Mathematical Foundations of Computer Science, Rydzyna. Springer Lecture Notes in Computer Science, 88 (1980), 22\u201339."},{"volume-title":"Proc. 1980 LISP Conference, Stanford, 136\u2013143","author":"Burstall R. M.","key":"e_1_3_1_45_2","unstructured":"R. M. Burstall, D. B. MacQueen, and D. T. Sannella. 1980. HOPE: An experimental applicative language. Proc. 1980 LISP Conference, Stanford, 136\u2013143."},{"key":"e_1_3_1_46_2","unstructured":"R. M. Burstall and J. A. Goguen. 1986. An informal introduction to CLEAR a specification language. The Correctness Problem in Computer Science (Eds. R. Boyer and J. Moore). Academic Press 185\u2013213 (1981). Republished in: Software Specification Techniques (Eds. N. Gehani and A.D. McGettrick). Addison Wesley 363\u2013389."},{"key":"e_1_3_1_47_2","volume-title":"Marktoberdorf","author":"Burstall R. M.","year":"1981","unstructured":"R. M. Burstall and J. A. Goguen. 1982. Algebras, theories and freeness: an introduction for computer scientists. Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, Marktoberdorf, 1981 (Eds. M. Broy and G. Schmidt). D. Reidel, 329\u2013348."},{"key":"e_1_3_1_48_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00264438"},{"volume-title":"Proc. Conf. on Advanced Research in VLSI","author":"Burstall R. M.","key":"e_1_3_1_49_2","unstructured":"R. M. Burstall and N. Suzuki. 1982. Sakura: A VLSI modelling language. Proc. Conf. on Advanced Research in VLSI, Cambridge, Massachusetts."},{"key":"e_1_3_1_50_2","first-page":"159","volume-title":"Proc. 8th Colloq. on Trees in Algebra and Programming, L\u2019Aquila. Springer Lecture Notes in Computer Science","author":"Sannella D. T.","year":"1983","unstructured":"D. T. Sannella and R. M. Burstall. 1983. Structured theories in LCF. Proc. 8th Colloq. on Trees in Algebra and Programming, L\u2019Aquila. Springer Lecture Notes in Computer Science, 159 (1983), 377\u2013391."},{"key":"e_1_3_1_51_2","volume-title":"Proc. of Logics of Programming Workshop","author":"Goguen J. A.","year":"1983","unstructured":"J. A. Goguen and R. M. Burstall. 1983. Introducing institutions. Proc. of Logics of Programming Workshop, Pittsburgh. Springer Lecture Notes in Computer Science, 164 (1983), 221\u2013256."},{"key":"e_1_3_1_52_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(84)90036-7","article-title":"Some fundamental algebraic tools for the semantics of computation","volume":"31","author":"Goguen J. A.","year":"1984","unstructured":"J. A. Goguen and R. M. Burstall. 1984. Some fundamental algebraic tools for the semantics of computation. Part 1: Comma categories, colimits, signatures and theories. Theoretical Computer Science 31, 1\u20132 (1984), 175\u2013209. Part 2: Signed and abstract theories. Theoretical Computer Science 31, 3 (1984), 263\u2013295.","journal-title":"Theoretical Computer Science"},{"key":"e_1_3_1_53_2","first-page":"1","article-title":"A kernel language for abstract data types and modules. Invited paper","volume":"173","author":"Burstall R. M.","year":"1984","unstructured":"R. M. Burstall and B. Lampson. 1984. A kernel language for abstract data types and modules. Invited paper. Proc. Intl. Symp. on Semantics of Data Types, Sophia-Antipolis. Springer Lecture Notes in Computer Science, 173 (1984), 1\u201350.","journal-title":"Proc. Intl. Symp. on Semantics of Data Types, Sophia-Antipolis. Springer Lecture Notes in Computer Science"},{"key":"e_1_3_1_54_2","volume-title":"Proc. Intl. Conf. on 5th Generation Computer Systems","author":"Burstall R. M.","year":"1984","unstructured":"R. M. Burstall. 1984. Programming with modules as typed functional programming. Invited paper. Proc. Intl. Conf. on 5th Generation Computer Systems, Tokyo, 103\u2013112."},{"key":"e_1_3_1_55_2","volume-title":"Fontainebleau","author":"Rydeheard D. E.","year":"1982","unstructured":"D. E. Rydeheard and R. M. Burstall. 1985. Monads and theories: A survey for computation. Seminar on the Application of Algebra to Language Definition and Compilation, Fontainebleau, 1982. Algebraic Methods in Semantics (Eds. M. Nivat and J. C. Reynolds). Cambridge University Press, 575\u2013605."},{"key":"e_1_3_1_56_2","volume-title":"Proc. Intl. Joint Conf. on Theory and Practice of Software Development","author":"Burstall R. M.","year":"1985","unstructured":"R. M. Burstall. 1985. Inductively defined functions. Invited paper. Proc. Intl. Joint Conf. on Theory and Practice of Software Development, Berlin. Springer Lecture Notes in Computer Science, 185 (1985), 92\u201396."},{"key":"e_1_3_1_57_2","volume-title":"Proc. Summer Workshop on Category Theory and Computer Programming","author":"Goguen J. A.","year":"1985","unstructured":"J. A. Goguen and R. M. Burstall. 1986. A study in the foundations of programming methodology: specifications, institutions, charters and parchments. Proc. Summer Workshop on Category Theory and Computer Programming, Guildford, 1985. Springer Lecture Notes in Computer Science, 240 (1986), 313\u2013333."},{"key":"e_1_3_1_58_2","volume-title":"Proc. Summer Workshop on Category Theory and Computer Programming","author":"Rydeheard D. E.","year":"1985","unstructured":"D. E. Rydeheard and R. M. Burstall. 1986. A categorical unification algorithm. Proc. Summer Workshop on Category Theory and Computer Programming, Guildford, 1985. Springer Lecture Notes in Computer Science, 240 (1986), 493\u2013505."},{"key":"e_1_3_1_59_2","volume-title":"Proc. Summer Workshop on Category Theory and Computer Programming","author":"Burstall R. M.","year":"1985","unstructured":"R. M. Burstall and D. E. Rydeheard. 1986. Computing with categories. Proc. Summer Workshop on Category Theory and Computer Programming, Guildford, 1985. Springer Lecture Notes in Computer Science, 240 (1986), 506\u2013519."},{"key":"e_1_3_1_60_2","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(87)90031-6"},{"key":"e_1_3_1_61_2","volume-title":"Proc. 20th IBM Computer Science Symposium","author":"Burstall R. M.","year":"1987","unstructured":"R. M. Burstall. 1987. Research in interactive theorem proving at Edinburgh University. Invited paper. Proc. 20th IBM Computer Science Symposium, Shizuoka, Japan."},{"key":"e_1_3_1_62_2","unstructured":"D. E. Rydeheard and R. M. Burstall. 1988. Computational Category Theory. Prentice-Hall."},{"key":"e_1_3_1_63_2","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(88)90011-9"},{"key":"e_1_3_1_64_2","first-page":"250","article-title":"A natural deduction treatment of operational semantics. Invited paper. Proc. 8th Conf. on Foundations of Software Technology and Theoretical Computer Science., Pune. Lecture Notes in Computer Science","volume":"338","author":"Burstall R. M.","year":"1988","unstructured":"R. M. Burstall and F. Honsell. 1988. A natural deduction treatment of operational semantics. Invited paper. Proc. 8th Conf. on Foundations of Software Technology and Theoretical Computer Science., Pune. Lecture Notes in Computer Science, Springer, 338 (1988), 250\u2013269.","journal-title":"Springer"},{"key":"e_1_3_1_65_2","volume-title":"Proc. IAM Conference on The Revolution in Mathematics Caused by Computing, Brighton.","author":"Burstall R. M.","year":"1990","unstructured":"R. M. Burstall. 1990. Computer assisted proof for mathematics: an introduction, using the LEGO proof system. Proc. IAM Conference on The Revolution in Mathematics Caused by Computing, Brighton."},{"key":"e_1_3_1_66_2","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0304-3975(91)90085-G","article-title":"Some fundamental algebraic tools for the semantics of computation","volume":"91","author":"Tarlecki A.","year":"1991","unstructured":"A. Tarlecki, R. M. Burstall, and J. A. Goguen. 1991. Some fundamental algebraic tools for the semantics of computation. Part 3: Indexed categories. Theoretical Computer Science 91, 2 (1991), 239\u2013264.","journal-title":"Theoretical Computer Science"},{"key":"e_1_3_1_67_2","volume-title":"Computing: Yet another reality construction. Invited paper","author":"Burstall R. M.","year":"1992","unstructured":"R. M. Burstall. 1992. Computing: Yet another reality construction. Invited paper. Software Development and Reality Construction (Eds. C. Floyd, H. Z\u00fcllighoven, R. Budde, and R. Keil-Slawik). Springer Verlag."},{"key":"e_1_3_1_68_2","doi-asserted-by":"publisher","DOI":"10.1145\/147508.147524"},{"key":"e_1_3_1_69_2","first-page":"711","volume-title":"Proc. 18th Intl. Symp. on Mathematical Foundations of Computer Science. Gdansk. Lecture Notes in Computer Science","author":"McKinna J.","year":"1993","unstructured":"J. McKinna and R. M. Burstall. 1993. Deliverables: A categorical approach to program development in type theory. Invited paper. Proc. 18th Intl. Symp. on Mathematical Foundations of Computer Science. Gdansk. Lecture Notes in Computer Science, Springer, 711 (1993), 32\u201367."},{"key":"e_1_3_1_70_2","unstructured":"R. M. Burstall and R. Diaconescu. 1994. Hiding and behaviour: An institutional approach. A Classical Mind: Essays in Honour of C.A.R. Hoare. Prentice-Hall 75\u201392."},{"key":"e_1_3_1_71_2","volume-title":"Proc. 9th IEEE Symp. on Logic in Computer Science","author":"Burstall R. M.","year":"1994","unstructured":"R. M. Burstall. 1994. Terms, proofs and refinement. Invited paper. Proc. 9th IEEE Symp. on Logic in Computer Science, Paris, 2\u20137."},{"key":"e_1_3_1_72_2","first-page":"340","article-title":"Explicit environments. Proc. 4th Intl. Conf. on Typed Lambda Calculi and Applications. L\u2019Aquila. Lecture Notes in Computer Science","volume":"1581","author":"Sato M.","year":"1999","unstructured":"M. Sato, T. Sakurai, and R. M. Burstall. 1999. Explicit environments. Proc. 4th Intl. Conf. on Typed Lambda Calculi and Applications. L\u2019Aquila. Lecture Notes in Computer Science, Springer, 1581 (1999), 340\u2013354.","journal-title":"Springer"},{"key":"e_1_3_1_73_2","volume-title":"Computing: the Australasian Theory Symposium (CATS","author":"Burstall R. M.","year":"2000","unstructured":"R. M. Burstall. 2000. ProveEasy: Helping people learn to do proofs. Invited paper. Computing: the Australasian Theory Symposium (CATS 2000), Canberra. Electronic Notes in Theoretical Computer Science 31."},{"key":"e_1_3_1_74_2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010052305354"},{"key":"e_1_3_1_75_2","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1007\/3-540-44557-9_9","article-title":"Memory management: An abstract formulation of incremental tracing. Types for Proofs and Programs: Intl. Workshop TYPES\u201999 \u2014 Selected Papers","volume":"1956","author":"Goguen H.","year":"2000","unstructured":"H. Goguen, R. Brooksby, and R. M. Burstall. 2000. Memory management: An abstract formulation of incremental tracing. Types for Proofs and Programs: Intl. Workshop TYPES\u201999 \u2014 Selected Papers. Springer Lecture Notes in Computer Science, 1956 (2000), 148\u2013161.","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"e_1_3_1_76_2","first-page":"1","article-title":"Explicit environments","volume":"45","author":"Sato M.","year":"2001","unstructured":"M. Sato, T. Sakurai, and R. M. Burstall. 2001. Explicit environments. Fundam. Informaticae 45, 1\u20132 (2001), 79\u2013115.","journal-title":"Fundam. Informaticae"},{"key":"e_1_3_1_77_2","series-title":"Lecture Notes in Computer Science","volume-title":"Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Eds. Kokichi Futatsugi, Jean-Pierre Jouannaud, and Jos\u00e9 Meseguer)","author":"Burstall R. M.","year":"2006","unstructured":"R. M. Burstall. 2006. My Friend Joseph Goguen. Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Eds. Kokichi Futatsugi, Jean-Pierre Jouannaud, and Jos\u00e9 Meseguer). Lecture Notes in Computer Science, Springer, 4060 (2006), 25\u201330."}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3731974","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T14:07:19Z","timestamp":1761919639000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3731974"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,31]]},"references-count":76,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,12,31]]}},"alternative-id":["10.1145\/3731974"],"URL":"https:\/\/doi.org\/10.1145\/3731974","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"type":"print","value":"0934-5043"},{"type":"electronic","value":"1433-299X"}],"subject":[],"published":{"date-parts":[[2025,10,31]]},"assertion":[{"value":"2025-04-21","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-04-21","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-10-31","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}