J. F. Aarnes and P. R. Andenaes, “On Nets and Filters”., Math. Scand., vol. 31, pp. 285–292, Jun. 1972.