Eric Bodden Florian Forster Friedrich Steimann Avoiding Infinite Recursion with Stratified Aspects. 49-64 2006 NODe/GSEM conf/gsem/2006 db/conf/gsem/gsem2006.html#BoddenFS06