1. Bjørner, D., et al.: A ProCoS project description: ESPRIT BRA 3104. Bull. Eur. Assoc. Theor. Comput. Sci. 39, 60–73 (1989). http://researchgate.net/publication/256643262
2. Bowen, J.P. (ed.): Towards Verified Systems, Real-Time Safety Critical Systems, vol. 2. Elsevier, Amsterdam (1994)
3. Bowen, J.P.: A relational approach to an algebraic community: from Paul Erdős to He Jifeng. In: Liu et al. [58], pp. 54–66. https://doi.org/10.1007/978-3-642-39698-4_4
4. Bowen, J.P.: A personal formal methods archive. ResearchGate (2019). https://doi.org/10.13140/RG.2.2.31943.65447
5. Bowen, J.P.: FACS events, 2018–2020. FACS FACTS 2020(1), 7–21 (2020). https://www.bcs.org/media/5204/facs-dec19.pdf