IFIP Working Group 2.2
Formal Description of Programming Concepts
Links
Technical Committee TC-2 "Software: Theory and Practice
IFIP (International Federation for Information Processing)