@proceedings {466,
	title = {Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond},
	journal = {7th ACCAT Workshop on Applied and Computational Category Theory (affiliated with ETAPS{\textquoteright}2012)},
	year = {2012},
	month = {To appear},
	doi = {10.4204/EPTCS},
	url = {http://forthcoming.eptcs.org/},
	attachments = {http://gsd.uwaterloo.ca/sites/default/files/Accat12-paper7.pdf},
	author = {Diskin, Zinovy and Tom Maibaum}
}
