M. Korovina, “Recent Advances in Σ-definability over Continuous Data Types”, BRICS, bd. 10, nr. 23, jun. 2003.