https://1library.net/document/z3o3on7z-more-reverse-mathematics-of-the-heine-borel-theorem.html