[jgrahamc]

Truly wonderful story and brought back a lot of memories because my 1992 DPhil thesis is in a combination of CSP and occam: https://blog.jgc.org/2024/03/the-formal-development-of-secur...