https://123dok.org/document/rz3d2gey-a-calculus-of-contracting-processes.html