Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations - Nakao (Springer Singapore, 2019)