A Pointcut Language for Control-Flow. - Rémi Douence; Luc Teboul (GPCE, 2004)