selected publications chapter Assisted Proof Document Authoring. Lecture Notes in Computer Science. 2006