1. Current project: Working title, ‘The philosophy, politics, and economics of security and privacy’.

  2. G. Cybenko, D. Pym, and B. Kordy (editors). Graphical Models for Security: 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers. LNCS 11086, 2019, Springer.

  3. M. Collinson, B. Monahan, and D. Pym. A Discipline of Mathematical Systems Modelling. London: College Publications, 2012. Buy at Amazon.

  4. T. Moore, D. Pym, and C. Ioannidis (editors). Economics of Information Security and Privacy. Springer, 2010.

  5. D. Pym and E. Ritter. Reductive logic: proof theory, semantics, and control. Oxford University Press Oxford Logic Guides 45, 2004. Errata and Remarks.

  6. David J. Pym. The Semantics and Proof Theory of the Logic of Bunched Implications, together with its Errata and Remarks (also here), published by Springer. This grew out of some early notes and has lots of bugs, including some serious ones, and much that lacks sufficient detail. It is of historical interest only. Please refer to later papers for BI’s theory.