Categorical principles, techniques and results for high-level-replacement systems in computer science

Hartmut Ehrig, Michael Löwe. Categorical principles, techniques and results for high-level-replacement systems in computer science. Applied Categorical Structures, 1(1):21-50, 1993. [doi]

Abstract

Abstract is missing.