Pedro Meseguer Towards a Conceptual Framework for Expert System Validation. 119-135 1992 5 AI Commun. 3 db/journals/aicom/aicom5.html#Meseguer92