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