Whitney's and Nash's embedding theorems for differential spaces - Kowalczyk, Adam (1980)