Formal Specification Level: Concepts, Methods, and Algorithms