Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components Julia Padberg OriginalPaper 31 October 2007 Pages: 333 - 364
Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories Ulrike PrangeHartmut EhrigLeen Lambers OriginalPaper 13 October 2007 Pages: 365 - 388
Subobject Transformation Systems Andrea CorradiniFrank HermannPaweł Sobociński OriginalPaper 20 February 2008 Pages: 389 - 419
A Functorial Framework for Constraint Normal Logic Programming P. LucioF. OrejasE. Pino OriginalPaper 13 March 2008 Pages: 421 - 450