The Semi-global Isometric Imbedding in R3 of Two Dimensional Riemannian Manifolds with Gaussian Curvature Changing Sign Cleanly. (1993). Journal of Partial Differential Equations, 6(1), 62-79. https://www.global-sci.com/index.php/jpde/article/view/3735