M. Wirsing

• Algebraic methods
• Methods of programming
• Programming Language Implementation and Logic Programming
• Formal Description of Programming Concepts (IFIP State-of-the-Art Reports) (v. 1)
• Radical innovations of software and systems engineering in the future