A Pen-Based Interface for Real-Time Document Edition | IEEE Conference Publication | IEEE Xplore