Task modeling with reusable problem-solving methods - Eriksson, H; Shahar, Y; Tu, SW; Puerta, AR; Musen, MA (Artif Intell, 1995)