Schmalhofer, Franz and Polson, P. G. (1986) A production system model for human problem solving. Psychological Research 48, pp. 113-122.