An environment for teaching object-oriented programming: objectKarel | IEEE Conference Publication | IEEE Xplore