БАРАНОВ, С. Н.; БУАВЕР, Б.; СОЛОВЬЕВ, С. В.; ФЕРО, Л. Некоторые приложения лямбда-исчислений с типами к атрибутным вычислениям в системах категорных преобразований графов. Труды СПИИРАН, v. 4, n. 23, p. 296-323, 1 dez. 2012.