Баранов, С. Н.; Буавер, Б.; Соловьев, С. В.; Феро, Л. Некоторые приложения лямбда-исчислений с типами к атрибутным вычислениям в системах категорных преобразований графов. ТС 2012, 4, 296-323.