"Open bisimulation for aspects."

Radha Jagadeesan, Corin Pitcher, James Riely (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics