adding @dfried00 paper CPS in Little Pieces