Formal Description of Programming Concepts (IFIP State-of-the-Art Reports)