K. Herrmann, H. Hoppe, and N. Pinkwart. A Checking Mechanism for Visual Language Environments. Proceedings of the 11th International Conference on Artificial Intelligence in Education (AIED), IOS Press, issue 97, 2003.