https://9dok.net/document/z1dj63ne-complexity-computing-generators-closed-sets.html