1. Baranov S., Boisvert B., Soloviev S., Feraud L. Applications of typed lambda-terms to categorical attributed graph transformations // SPIIRAS Proceedings. 2012. № 23 (4). C. 296-323.