M. Korovina, “Recent Advances in Σ-definability over Continuous Data Types”, BRICS, vol. 10, no. 23, Jun. 2003.