Korovina, M. Recent Advances in Σ-Definability over Continuous Data Types. BRICS 2003, 10.