Unity in nominal equational reasoning: the algebra of equality on nominal sets
scientific article; zbMATH DE number 6037812
scientific article