Comment by anthk

http://www.levity.com/eschaton/sheliak/shelform.pdf

Also:

Timewave zero for Unix:

https://github.com/kl4yfd/timewave_z3r0

The whole page has more info on the formalization:

http://www.levity.com/eschaton/sheliak/