A uniqueness theorem for nonstationary Navier-Stokes flow past an obstacle John G. Heywood — 1979 Annali della Scuola Normale Superiore di Pisa - Classe di Scienze
An analysis of stability concepts for the Navier-Stokes equations. Rolf Rannacher; John G. Heywood — 1986 Journal für die reine und angewandte Mathematik