Novis: A Notional Machine Implementation for Teaching Introductory Programming | IEEE Conference Publication | IEEE Xplore