A theory of indirection via approximation - Hobor, A. (2013)
10.1145/1706299.1706322