Elementary constructive theory of Henselian local rings | Publicación