Biström P, Jaramillo JA. $C^\infty$-Bounding Sets and Compactness. Math. Scand. 1994;75:82-86. doi:10.7146/math.scand.a-12504