@ARTICLE { AUTHOR = "Paul Leger and {\'E}ric Tanter and Hiroaki Fukuda", TITLE ="An Expressive Stateful Aspect Language", JOURNAL = "Science of Computer Programming (SCICO)", VOLUME = "102", NUMBER = "1", PAGES = "108-141", MONTH = "May", YEAR = "2015", PUBLISHER = "Elsevier Science", ADDRESS = "Amsterdam, The Netherlands", ISSN = "0167-6423" }