Abstract Visual Notations As an Aid for Historical Problem Solving. ICCE 2016.