Danvy, O.; Yang, Z. An Operational Investigation of the CPS Hierarchy. BRICS 1998, 5.