Charles T. Cook, Svetlana Drachova-Strang, Jason O. Hallstrom, Joseph E. Hollingsworth, David P. Jacobs, Joan Krone, Murali Sitaraman. A systematic approach to teaching abstraction and mathematical modeling. In Tami Lapidot, Judith Gal-Ezer, Michael E. Caspersen, Orit Hazzan, editors, Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE '12, Haifa, Israel, July 3-5, 2012. pages 357-362, ACM, 2012. [doi]
Abstract is missing.