Cockett, Redmond, 2010. A Categorical Setting for Lower Complexity 265.. https://doi.org/10.1016/j.entcs.2010.08.017