A Core Calculus for Documents
arxiv.org