Penumbra: an Eclipse plugin for introductory programming. - Frank Mueller 002; Antony L. Hosking (eTX, 2003)