Hi Theo:

You reviewed the superposition paper for AOSD 2002.
I found an earlier reference to superposition
than given in the paper you reviewed.

Please can you double check that

@ARTICLE{dijkstra:aop,
AUTHOR = "E.W. Dijkstra and C.S. Scholten",
TITLE = "Termination Detection for Diffusing Computations",
JOURNAL = ipl,
YEAR = 1980,
PAGES = "1-4",
MONTH = "",
VOLUME = 11,
NUMBER = 1
}

already talks about superposition. So did we have this form of AOP already
in 1980?

-- Karl

Reference from:
@ARTICLE{mikkonen:flexibility,
AUTHOR = "Tommi Mikkonen and Peeter Pruuden",
TITLE = "Flexibility as a Design Driver",
JOURNAL = ieee-computer,
YEAR = 2001,
PAGES = "52-56",
MONTH = "November",
VOLUME = "" ,
NUMBER =  ""
}