Баранов, Сергей Николаевич, Бертран Буавер, Сергей Владимирович Соловьев, и Луи Феро. Некоторые приложения лямбда-исчислений с типами к атрибутным вычислениям в системах категорных преобразований графов. Труды СПИИРАН 4, no. 23 (декабрь 1, 2012): 296-323. просмотрено февраль 9, 2025. https://plantprotect.ru/index.php/sp/article/view/1640.