Formal functions and formal embeddings

Abstract
Project Euclid - mathematics and statistics online