Formal Approach