0xd3adbeef··on C0, an Imperative Programming Language for Novice Computer Scientists (2010) [pdf]15-122, an introductory programming course at CMU, uses C0 for most of the course. Lecture notes are available on the site: http://www.cs.cmu.edu/~15122/schedule.shtml