Orbifolds as a localization of the 2-category of groupoids - Eugene Lerman (2006)