Malenfant et al. (1989)
Malenfant J., Lapalme G. and Vaucher J. (1989)
ObjVProlog: Metaclasses in Logic
In Proc. ECOOP'89, Cambridge University Press, pp. 257-269