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