Formele methoden in kennisrepresentatie / J.-J.Ch. Meijer