Celebratio Mathematica

“Math­em­at­ic­al lo­gic and pro­gram­ming lan­guages.” Edi­ted by C. A. R. Hoare and J. C. Shep­herd­son. Philos. Trans. R. Soc. Lond., Ser. A 312 : 1522 (1984), pp. 343–​518. Pro­ceed­ings of a Roy­al So­ci­ety dis­cus­sion meet­ing or­gan­ised by Atiyah and the ed­it­ors. Re­pub­lished as a book by Pren­tice-Hall in 1985. MR 776262 article

Math­em­at­ic­al lo­gic and pro­gram­ming lan­guages (Lon­don, 15–16 Feb­ru­ary 1984). Edi­ted by C. A. R. Hoare and J. C. Shep­herd­son. In­ter­na­tion­al Series in Com­puter Sci­ence. Pren­tice-Hall (Engle­wood Cliffs, NJ), 1985. Pro­ceed­ings of a Roy­al So­ci­ety dis­cus­sion meet­ing or­gan­ised by Atiyah and the ed­it­ors. Re­pub­lished from Philos. Trans. Roy. Soc. Lon­don Ser. A 1522 (1984). Zbl 0626.​68003 book