L. R. R. Palese, “On the Lyapunov function for the rotating Benard problem”, JAM, vol. 9, no. 9, pp. 3062–3071, Jan. 2015.