https://123dok.net/document/yr36r9jy-characterizing-polynomial-time-complexity-of-stream-programs-using-interpretations.html