An Operational Foundation for Delimited Continuations in the CPS Hierarchy (Logical Methods in Computer Science, 2005)