Constructive Theory of the Lower Power Locale. - Marta Bunge; Jonathon Funk (Math. Struct. Comput. Sci., 1996)

The Universal Covering of an Inverse Semigroup. - Jonathon Funk; Benjamin Steinberg (Appl. Categorical Struct., 2010)