Analytical reasoning with external representations supporting the stages of selection, construction and use - Cox, Richard; Brna, Paul (University <Edinburgh> / Department of Artificial Intelligence: DAI research paper, 1994)