Apel, Kästner, Leich, Saake, 2007. Aspect Refinement — Unifying AOP and Stepwise Refinement... https://doi.org/10.5381/jot.2007.6.9.a1