Priss, Uta, "Combining FCA software and Sage.", , 2024