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

Unique factorisation lifting functors and categories of linearly-controlled processes. - Marta Bunge; Marcelo P. Fiore (Math. Struct. Comput. Sci., 2000)