Categorical approach to horizontal structuring and refinement of high-level replacement systems
scientific article; zbMATH DE number 1423562