Knowledge engineering shells systems and techniques - Bourbaki, Nicolas (World Scientific, 1993)