Баранов, С. Н., Буавер, Б., Соловьев, С. В. и Феро, Л. (2012) Некоторые приложения лямбда-исчислений с типами к атрибутным вычислениям в системах категорных преобразований графов, Труды СПИИРАН, 4(23), сс. 296-323. DOI: 10.15622/sp.23.15.