Method of constructing Lyapunov functions for linear discrete time systems
scientific article; zbMATH DE number 1161002