An Algorithm for Constructing Lyapunov Functions (Hafstein)

An Algorithm for Constructing Lyapunov Functions (EJDE monograph #8, 2007), by Sigurdur Freyr Hafstein (PDF with commentary at ams.org)