Knowledge based program construction - Bartstow, David (Elsevier, 1979)