ObjVProlog: Metaclasses in Logic. - Malenfant, Jacques; Lapalme, Guy; Vaucher, Jean G. (1989)