Chapman, J., T. Uustalu, and N. Veltri. “Formalizing Restriction Categories”. Journal of Formalized Reasoning, vol. 10, no. 1, Jan. 2017, pp. 1-36, doi:10.6092/issn.1972-5787/6237.