Jean-Pierre Rosen
Adalog, Issy-les-Moulineaux, France
What orientation should Ada objects take?
Communications of the ACM
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)