Sharko, Y. V. Quantization of Lyapunov Functions. Ukr. Mat. Zhurn. 2010, 62, 1294–1296.