Goubault-Larrecq. On Noetherian Spaces. IEEE, 2007, doi:10.1109/lics.2007.34.