Implementation of a debugging aid for logic errors in Pascal programs. - Trevor Lukey; Kenneth D. Loose; David R. Hill (SIGCSE, 1987)