From theory to practice: implementing the CC2001's introductory programming sequence | IEEE Conference Publication | IEEE Xplore