Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao: A Numerical Verification Method of Solutions for the Navier-Stokes Equations. SCAN 1998: 347-357