PhD Thesis:
Creating and Maintaining Consistent Documents with Elucidative Development