Erik Andersen, Sumit Gulwani, Zoran Popovic: A trace-based framework for analyzing and synthesizing educational progressions. CHI 2013: 773-782