J. Chapman, T. Uustalu, and N. Veltri, “Formalizing Restriction Categories”, JFR, vol. 10, no. 1, pp. 1–36, Jan. 2017.