Monotone insertion of lattice-valued functions | Publicación