 Dynamics, Stability, and Noncommutative Algebra by Fabian Haiden

Course Notes for Math 256, Harvard, fall 2015. Sections 3.2–3.3 and lecture 4 give topological entropy through open covers and separated/spanning orbit sets, including the compact metric setting and limiting definitions.