kappa-term relation algebra References. Algebras of Sign Manipulations and Their Application to Operational Semantics
