graph transformation, algebraic specification and logic, and formal and visual