Max H. Garzon: On Interactive Computation: Intelligent Tutoring Systems (Extended Abstract). SOFSEM 1999: 261-263