MIRONESCU, D. M. “ANALYSIS OF LYAPUNOV STABILITY THEORY FOR DYNAMICAL SYSTEMS. MATHCAD VERIFICATION ALGORITHMS”. BULLETIN OF "CAROL I" NATIONAL DEFENCE UNIVERSITY, vol. 1, no. 2, June 2012, https://revista.unap.ro/index.php/bulletin/article/view/55-66.