https://123dok.net/document/9yn388lq-towards-a-refinement-of-the-open-distributed-systems-interactions-signatures.html