Lyapunov stability theory by Charles Johnson