[JASC+2009]