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"
}