Ranan B. Banerji The General Problem Solver as a Paradigm for Software Design. 183-192 1992 conf/aifipp/1992 AIFIPP db/conf/aifipp/aifipp1992.html#Banerji92