Automating the transformation-based analysis of visual languages
scientific article; zbMATH DE number 5713412
scientific article