1993. The Semi-global Isometric Imbedding in R3 of Two Dimensional Riemannian Manifolds with Gaussian Curvature Changing Sign Cleanly. Journal of Partial Differential Equations. 6, 1 (Jun. 1993), 62–79.