Rigorous computation of topological entropy with respect to a finite partition
G. Froyland, O. Junge, G. Ochs, Physica D: Nonlinear Phenomena (2001) 68–84.