Evaluating a Formal Modelling Language. - Fidel Ruiz; Frank van Harmelen; Manfred Aben; Joke van de Plassche (EKAW, 1994)

Evaluating a Formal KBS Specification Language. - Frank van Harmelen; Manfred Aben; Fidel Ruiz; Joke van de Plassche (IEEE Expert, 1996)