Chapman, J.; Uustalu, T.; Veltri, N. Formalizing Restriction Categories. JFR 2017, 10, 1-36.