Text this: Algebraic high-level net transformation systems.