sigma-term relation algebra

References.

• Algebras of Sign Manipulations and Their Application to Operational Semantics (Gavazzo).