Pointfree forms of Dowker and Michael insertion theorems - Gutiérrez García, Javier (2007)