Navier-Stokes equations theory and numerical analysis - Temam, Roger (North-Holland, 1984)