MIRONESCU, D.M. 2012. ANALYSIS OF LYAPUNOV STABILITY THEORY FOR DYNAMICAL SYSTEMS. MATHCAD VERIFICATION ALGORITHMS. BULLETIN OF "CAROL I" NATIONAL DEFENCE UNIVERSITY. 1, 2 (Jun. 2012).