Rigorous computation of topological entropy with respect to a finite partition
68-84
68-84