“On the Lyapunov function for the rotating Benard problem”, JAM, vol. 9, no. 9, pp. 3062–3071, Jan. 2015, doi: 10.24297/jam.v9i9.2234.