M. J. Cáccamo og G. Winskel, “A Higher-Order Calculus for Categories”, BRICS, bd. 8, nr. 27, jun. 2001.