Describes AP from the point of view of meta-object protocols. Generalizes propagation patterns. Uses traversal specifications which don't lead to inconsistency.

Bibtex entry:

@InProceedings{LopesLieberherrReflection96,
author =       "Cristina Videira Lopes and Karl Lieberherr",
title =        "{A}{P}/{S}++: case-study of a {M}{O}{P} for purposes
of software evolution",
booktitle =    "Reflection '96",
year =         "1996",
address =      "S. Francisco, CA",
month =        "April",
annote =       "AP/S++, AP^MOP, reflection, adaptive programming"
}