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