"Open Bisimulation for Aspects."

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