A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-B´enard problemsに関係する本がみつかりませんでした。
カーリルローカルでも探してみましょう。