https://9dok.net/document/y962pxvj-concurrency-theory.html