Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori. Subtyping Constraints for Incomplete Objects: (extended abstract).
TAPSOFT '97: Theory and Practice of Software Development 7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997 Proceedings, Apr 1997, Lille, France. pp.465-477,
⟨10.1007/BFb0030619⟩.
⟨hal-01154622⟩