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