https://lib.jucs.org/articles.php?id=29014
Notions of Probabilistic Computability on Represented Spaces