Priss, Uta, "FCA interpretation of relation algebra.", , 2006