On the intersection of maximal filters in distributive lattices Bordalo, G. — 1980 Portugaliae mathematica
A duality between unary algebras and their subuniverse lattices Bordalo, G. — 1989 Portugaliae mathematica
Negation operations definable on finite distributive lattices Priestley, H.A.; Bordalo, G. — 1992 Portugaliae mathematica