David M. Arnow. Teaching programming to liberal arts students: using loop invariants. In Robert Beck, Don Goelman, editors, Proceedings of the 25th SIGCSE Technical Symposium on Computer Science Education, 1994, Phoenix, Arizona, USA, March 10-12, 1994. pages 141-144, ACM, 1994. [doi]
Abstract is missing.