Teaching as a logic tool (abstract). - David Gries; Fred B. Schneider; Joan Krone; J. Stanley Warford; J. Peter Weston (SIGCSE, 1995)