https://123dok.org/document/zpn6jd70-a-short-introduction-to-implicit-computational-complexity.html