Coequational Logic for Finitary Functors. - Daniel Schwencke (CMCS, 2008)

Complete Iterativity for Algebras with Effects. - Stefan Milius; Thorsten Palm; Daniel Schwencke (CALCO, 2009)

CIA Structures and the Semantics of Recursion. - Stefan Milius; Lawrence S. Moss; Daniel Schwencke (FoSSaCS, 2010)

Coequational logic for accessible functors. - Daniel Schwencke (Inf. Comput., 2010)

A Category Theoretic View of Nondeterministic Recursive Program Schemes. - Daniel Schwencke (CSL, 2011)

Abstract GSOS Rules and a Modular Treatment of Recursive Definitions. - Stefan Milius; Lawrence S. Moss; Daniel Schwencke (Log. Methods Comput. Sci., 2013)

Compositional and effectful recursive specification formats: distributive laws and the semantics of recursion. - Daniel Schwencke (2014)