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