An intelligent tutoring system for the Dijkstra-Gries methodology. - Ng, Frank; Butler, Gregory; Kay, Judy (IEEE Transactions on Software Engineering, 1995)