O. Danvy and Z. Yang, “An Operational Investigation of the CPS Hierarchy”, BRICS, vol. 5, no. 35, Dec. 1998.