Pauly, 2014. The descriptive theory of represented spaces.