An expressive stateful aspect language

Paul Leger, Éric Tanter, Hiroaki Fukuda. An expressive stateful aspect language. Science of Computer Programming, 102:108-141, 2015. [doi]