Specialised Theorem-Proving in an Intelligent Tutoring System for the Dijkstra-Gries Programming Methodology. - Frank Ng; Gregory Butler (ICCI, 1993)

An Intelligent Tutoring System for the Dijkstra-Gries Methodology. - Frank Ng; Gregory Butler; Judy Kay (IEEE Trans. Software Eng., 1995)