Myoungnyoun Kim, Mitsuhiro T. Nakao, Yoshitaka Watanabe, Takaaki Nishida: A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems. Numerische Mathematik 111(3): 389-406 (2009)