Pointfree forms of Dowker’s and Michael’s insertion theorems | Publicación