1. Writing Effective Use Cases;Cockburn,2000
2. Specification of Software Systems;Alagar,2011
3. Use case analysis based on formal methods: an empirical study;de Oliveira Junior,2015
4. AGG: a tool environment for algebraic graph transformation;Taentzer,2000
5. Rule-based transformation of graph rewriting rules: towards higher-order graph grammars;Machado;Theor. Comput. Sci.,2015