A theory of indirection via approximation - Hobor, A. (2013)
ACM SIGPLAN Notices