Martijn Schrage's thesis: Proxima - a generic presentation-oriented editor for structured documents