TY  - RPRT
TI  - Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond
AU  - Zinovy Diskin
AU  - Tom Maibaum
PY  - 2012
DO  - 10.4204/eptcs.93.1
UR  - https://arxiv.org/abs/1209.1433
ID  - 1209.1433
ER  -