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