https://9dok.org/document/yd7xd80e-introduction-two-waymetalinearpcgrammarsystemsandtheirdescriptionalcomplexity.html