@InProceedings{CliftonLeavens03,
  author    = {Curtis Clifton and Gary T. Leavens},
  title     = {Obliviousness, Modular Reasoning, and the Behavioural Subtyping Analogy},
  booktitle = {Proc. Workshop on Software-Engineering Properties of Languages for Aspect Technologies (SPLAT'03)},
  year      = 2003,
}