An adaptive subdivision technique for the approximation of attractors and invariant measures: proof of convergence
O. Junge, Dynamical Systems (2001) 213–222.