https://5dok.net/document/oy826m2y-thread-oriented-program-algebra.html