Pedro Meseguer Conventional Software and Expert Systems: Some Comparative Aspects Regarding Validation. 193-204 1992 conf/aifipp/1992 AIFIPP db/conf/aifipp/aifipp1992.html#Meseguer92