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