Baranov, S., B. Boisvert, S. Soloviev, and L. Feraud. “Applications of Typed Lambda-Terms to Categorical Attributed Graph Transformations”. SPIIRAS Proceedings, Vol. 4, no. 23, Dec. 2012, pp. 296-23, DOI:10.15622/sp.23.15.