https://9dok.net/document/q2nw53pp-terminating-derivation-cooperating-distributed-grammar-systems-forbidding-components.html