The Logical Framework Approach: Introduction and Approach