Baranov, Sergey, Bertrand Boisvert, Sergey Soloviev, and Louis Feraud. “Applications of Typed Lambda-Terms to Categorical Attributed Graph Transformations”. SPIIRAS Proceedings 4, no. 23 (December 1, 2012): 296-323. Accessed November 9, 2026. https://plantprotect.ru/index.php/sp/article/view/1640.