Cáccamo, M. J., and G. Winskel. “A Higher-Order Calculus for Categories”. BRICS Report Series, vol. 8, no. 27, June 2001, doi:10.7146/brics.v8i27.21687.