El gasto público en formación profesional industrial en España (1857–1935) | Publicación