Arte de laborear las minas. (Diccionario de la Lengua Española edición electrónica. Espasa-Calpe, S.A., 2000)