Hartmut Ehrig
Weak adhesive high-level replacement categories and systems
2006
in: Algebra, meaning, and computation, Dordrecht : Springer
Weak adhesive high-level replacement categories and systems
2006
in: Algebra, meaning, and computation, Dordrecht : Springer