Inking in the IDE: Experiences with Pen-based Design and Annotatio | IEEE Conference Publication | IEEE Xplore