Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic. - Mariagnese Giusto; Alberto Marcone (Arch. Math. Log., 1998)

Located Sets and Reverse Mathematics. - Mariagnese Giusto; Stephen G. Simpson (J. Symb. Log., 2000)

Vitali's Theorem and WWKL. - Douglas K. Brown; Mariagnese Giusto; Stephen G. Simpson (Arch. Math. Log., 2002)