Original paper, pp. 1–6. The local source is pdf/computer-science/finals/concurrent-programming/2015.pdf in the Oxford examinations repository; the reviewed transcription is tex/computer-science/finals/concurrent-programming/2015.tex. Archive member: 2015-concprog.pdf.