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