The Semi-Global Isometric Imbedding in R3 of Two Dimensional Riemannian Manifolds With Gaussian Curvature Changing Sign Cleanly. J. Part. Diff. Eq. 1993, 6 (1), 62-79.