Formal Specification of Grammar Refactoring Patterns. - HALUPKA, Ivan; KOLLAR, Jan (Journal of Computer Science & Control Systems, 2013)