Baranov, S., Boisvert, B., Soloviev, S. and Feraud, L. 2012. Applications of typed lambda-terms to categorical attributed graph transformations. SPIIRAS Proceedings. 4, 23 (Dec. 2012), 296-323. DOI:https://doi.org/10.15622/sp.23.15.