On difunctions - Backhouse, Roland; Oliveira, José Nuno (Journal of logical and algebraic methods in programming, 2023)
Keywords: Calculational method; Difunction; Relation algebra; Relation algebra; Calculational method; Difunction