Using graph transformation systems to formalize Tropos diagrams. - Vahid Rafe; Mitra Golparian; Siamak Rasoolzadeh (J. Vis. Lang. Comput., 2015)