Korovina, M. 2003. Recent Advances in Σ-definability over Continuous Data Types. BRICS Report Series. 10, 23 (Jun. 2003). DOI:https://doi.org/10.7146/brics.v10i23.21793.