How is a doctoral thesis published?