[harveytoro]

My two recommendations are:

- 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...