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