Task Modeling with Reusable Problem-Solving Methods - Eriksson, H; Shahar, Y; Tu, SW; Puerta, AR; Musen, MA (Artif Intell, 1995)