M. J. Cáccamo and G. Winskel, “A Higher-Order Calculus for Categories”, BRICS, vol. 8, no. 27, Jun. 2001.