Aarnes JF, Andenaes PR. On Nets and Filters. Math. Scand. 1972;31:285-292. doi:10.7146/math.scand.a-11435