Heine–Borel theorem/Bibliography