PhD Thesis: Creating and Maintaining Consistent Documents with Elucidative Development