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