Verified numerical computation of solutions for the stationary Navier-Stokes equation in nonconvex polygonal domainsに関係する本がみつかりませんでした。
カーリルローカルでも探してみましょう。