- Communicating Sequential Processes https://www.cs.cmu.edu/~crary/819-f09/Hoare78.pdf
- Crash-Only Software https://www.usenix.org/legacy/events/hotos03/tech/full_paper...