Side-effect localization for lazy, purely functional languages via aspects - Chen, K. (2013)
10.1007/s10990-011-9073-0