Multiple Levels of Abstraction in Algorithmic Problem Solving. - David Ginat; Yoav Blau (SIGCSE, 2017)