A visual approach to procedural tutor specification | IEEE Conference Publication | IEEE Xplore