Y. V. Sharko, “Quantization of Lyapunov functions”, Ukr. Mat. Zhurn., vol. 62, no. 9, pp. 1294–1296, Sep. 2010.