https://9dok.net/document/yd7lvjvj-collaboration-support-through-mobile-processes-and-entailment-constraints.html