https://123dok.net/document/qvl1x1pg-algebraic-characterizations-of-complexity-theoretic-classes-real-functions.html