J. F. Aarnes and P. R. Andenaes, “On Nets and Filters”., Math. Scand., vol. 31, pp. 285–292, Jun. 1972, doi: 10.7146/math.scand.a-11435.