Notes on Chain Recurrence and Lyapunonv Functions - John Franks (2017)