Norbert Völker: Thoughts on Requirements and Design Issues of User Interfaces for Proof Assistants. UITP@TPHOLs 2003: 139-159